Claude Just Proved Fermat's Last Theorem. It Took 11 Days and 13 Million Lines of Code.
AI First Pod · Sep 9, 2026 · 5:20
AI First Pod · Sep 9, 2026 · 5:20
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.
Claude worked autonomously for 11 days to produce the first machine-checked proof of Fermat's Last Theorem — 358 years after Fermat claimed the margin was too small for his proof. 30,300 theorems, 13 million lines of Lean, computer-verified correct. We cover what this means for AI in mathematics, Astra's secret recurrent depth architecture that explains its benchmark harness gap, and humanoid robots that now sprint faster than Usain Bolt.
