The MAP project claims all known math is ~3 orders of magnitude away from formalization
i_dg23 · x · 2026-09-11
jdlichtman published an article introducing The MAP (Mathematics Autoformalization Project), an effort to translate all known mathematics into formal code — framed as the math equivalent of the Human Genome Project or AlphaFold.
The author argues that Anthropic's math breakthroughs on September 4th signal feasibility, and that we are only about 3 orders of magnitude away from formalizing all known math.
More from AGI Musings
- "AI won't destroy humanity": Y2K analogy sparks AGI-doom debate — granawkins · 2026-09-11
- Scott Belsky: trust, progressive personalization and agent-to-agent effects define the 'first mile' — _AustinCalvert_ · 2026-09-11
- A classical transhumanist asks why people prefer an AGI god over self-enhancement — zetalyrae · 2026-09-11
- Models went from grade-school math to hard problems in 2 years — and faster gains are coming — felixrieseberg · 2026-09-11
- Zuckerberg: every business will have its own AI, like a website or email address — rohanpaul_ai · 2026-09-11
- 'AI is the only risk that could realistically kill me soon,' researcher argues on X — JMannhart · 2026-09-11