Axiom Math's AI agent swarms formalize the Classification of Finite Simple Groups in Lean in 24 days
Axiom Math says swarms of AI agents turned the 15,000-page Classification of Finite Simple Groups into roughly 43.1 million lines of machine-checked Lean code, uncovering 34 deviations from the published record.