Machine Heart
Oct 27, 2026 · Artificial Intelligence
AI Agents Formalize Classification of Finite Simple Groups in 24 Days, Find 40-Year Gap
Axiom Math deployed dozens of AI agents to formalize the Classification of Finite Simple Groups in Lean, producing 43 million lines of code in 24 days, uncovering a 40-year-old gap in Walter's Unbalanced Group Theorem and constructing a new group theory result.
AI agentsAxiom MathClassification of Finite Simple Groups
0 likes · 15 min read