Anthropic's Claude produces first computer-checked proof of Fermat's Last Theorem
Announced September 4, 2026, Anthropic says Claude ran largely autonomously for 11 days to produce the first end-to-end, computer-checked proof of Fermat's Last Theorem in Lean. Th…