Skip to content
Opens in a new window
1,000 AI Agents Just Formalized a 350-Year-Old Math Problem in 30 Hours
10 November 2026

1,000 AI Agents Just Formalized a 350-Year-Old Math Problem in 30 Hours

AI First Pod

About

Anthropic's new Fable 5.2 model ran a team of a thousand agents that formally verified Fermat's Last Theorem in just 30 hours — a task that took 11 days on the previous version and years when done by humans — alongside claims of solving two open black-hole physics problems and doubling vulnerability discovery rates in Mythos 5.2.