Episode Details

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.