News Sep 7, 2026
Claude writes a computer-checked proof of Fermat’s last theorem
Agents spent eleven days turning a famous 1990s argument into Lean code so a machine could check every step from the basic rules of mathematics.
Giulio Prisco 2 min read