Web

The Mathematical Discovery Engine

Last updated 2026-06-17 · benchmark measured 2026-07-31 — deterministic & reproducible

A knowledge graph of 15,941 mathematical states and 1,223 proof techniques. Proof becomes path-finding — and discovery becomes search, even with no specific problem to solve.

Is The Mathematical Discovery Engine production-ready?

Legit.Show scores The Mathematical Discovery Engine 56 out of 100 — the simple average of its 7 measured frames. Legit.Show ran its deterministic 7-Frame production-readiness benchmark on The Mathematical Discovery Engine (public-surface assessment), measured from the public surface with no LLM in the scoring path. Its strongest frame is Reliability; its weakest is Discoverability. Every frame it averages is published with its evidence on the Legit.Show listing.

The 7 Frames

• Performance — 55/100
• Accessibility — 79/100
• Security — 45/100
• Privacy — 25/100
• Reliability — 92/100
• Standards — 79/100
• Discoverability — 15/100

What we measured

• Security headers present: HSTS.
• No Content-Security-Policy.
• Served over HTTPS with a valid certificate.
• Real Lighthouse performance run — 537 ms to first byte.
• Returns a proper 404 for unknown routes.
• 0 of 0 sampled routes reachable.
• No privacy policy found.
• Sets cookies / loads scripts with no consent prompt.

Visit The Mathematical Discovery Engine → · How this was measured →