1,000 AI Agents Just Formalized a 350-Year-Old Math Problem in 30 Hours
AI First Pod · Nov 10, 2026 · 5:41
AI First Pod · Nov 10, 2026 · 5:41
Listen in the Podli app 🎧
Follow your favourite podcasts, listen offline and in the car with CarPlay and Android Auto, and always pick up where you left off. Free to try.
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.
