Anthropic says Claude formalized Fermat’s Last Theorem in Lean
Anthropic says Claude produced a complete computer-checked formalization of Fermat’s Last Theorem in 11 days, using 13 million lines of Lean code and tens of thousands of intermediate theorems.