Claude Formalizes Fermat’s Last Theorem in Lean in 11 Days 5 September 2026·2191 words·11 mins Claude Anthropic Fermat's Last Theorem Lean Formal Proof AI Mathematics Mathlib Proof Assistants Ai Research
