Claude Just Proved Fermat's Last Theorem. It Took 11 Days and 13 Million Lines of Code.
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.
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.