1,000 AI agents formalize Fermat's Last Theorem proof in 30 hours
Anthropic's Fable 5.2, using about 1,000 agents, formalized the proof of Fermat's Last Theorem in Lean in 30 hours, down from 11 days in a prior run; however, the experience gained reportedly does not transfer easily to other tasks.
2026-11-11 ~ 2026-11-12 · 3 related posts
- Anthropic's Fable 5.2 Formalizes Fermat's Last Theorem Proof in 30 Hours with ~1,000 Agents — sven_ai · 2026-11-11
- 1,000 AI agents re-proved Fermat's Last Theorem in 30 hours — but only because output is machine-checkable — petrusenko_max · 2026-11-12
- AI formalizes Fermat's Last Theorem in 30 hours, Yang-Mills construction wins Nobel laureate committee sign-off — rand_longevity · 2026-11-12