Rohan Paul
@rohanpaul_ai
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.
