AI agent swarm formalizes 15,000-page finite simple groups proof in 24 days, finds 34 discrepancies
rohanpaul_ai · x · 2026-10-28
Axiom's swarm of AI agents verified the Classification of Finite Simple Groups — the longest proof in mathematics, spanning 500+ papers and 15,000 pages over 40+ years — in just 24 days, producing 38M+ lines of machine-verified code and uncovering 34 serious discrepancies in the published record. A shared chart shows Lean formalization scale doubling roughly every 37 days, with this run (43M lines) dwarfing prior OpenAI and Anthropic efforts.
More from AGI Musings
- Classic coding interviews are a red flag: hiring must change for the AI era — omarsar0 · 2026-10-28
- The rise of the lone scientist under agentic AI — Symbiot10000 · 2026-10-28
- Can AI search automatically discover cross-field math connections like Fermat's proof? — IgorCarron · 2026-10-28
- Kevin Naughton: losing your job to AI is about mindset, not skillset — KevinNaughtonJr · 2026-10-28
- GenAI is creeping into bestselling novels, study featured in Nature — TuhinChakr · 2026-10-28
- After 13 years mastering code, dev says the skillset is essentially obsolete — cyrus_zei · 2026-10-28