Axiom agent swarm formally verifies the classification of finite simple groups proof in 24 days
Axiom's AI agent swarm spent 24 days completing a step-by-step verification of the classification of finite simple groups (CFSG) proof, converting more than 500 papers and roughly 15,000 pages of content into over 38 million lines of machine-verifiable code, and discovered 34 serious inconsistencies in the published record. For more than 40 years previously, no one had been able to fully verify the proof single-handedly.
Why read this
AI score 76
This content gives the scale and time required for an agent swarm to formally verify a mathematical proof, which can be used to understand the practical progress of AI in foundational mathematical work.
Topics
View original postThe formal proof of CFSG may now be among the largest open-source projects ever. Watching agents assemble it is a reminder of the awe-inspiring human achievement behind it. The graph represents some 15,000 pages of intricate arguments developed by mathematicians over decades. https://t.co/13THDKI50f
View original
The formal proof of CFSG may now be among the largest open-source projects ever. Watching agents assemble it is a reminder of the awe-inspiring human achievement behind it. The graph represents some 15,000 pages of intricate arguments developed by mathematicians over decades. https://t.co/13THDKI50f
Body
Verified AI just had its greatest month.
A swarm of AI agents just did what no mathematician could do alone: check every step of the longest proof in history.
For 40+ years, mathematicians have built on the Classification of Finite Simple Groups without anyone being able to check it alone.
Axiom’s AI agent swarm just did it in 24 days, turned 15,000 pages across 500+ papers into 38M+ lines of machine-verified code. And it also uncovered 34 serious discrepancies in the published record.