Formalizing Fermat's Last Theorem
- We are sharing the first complete computer-checked proof of Fermat’s Last Theorem.
- Claude worked largely autonomously over 11 days to write the proof in the Lean programming language.
- Below, we describe how the formalization was done and share some thoughts about what this work could mean for research mathematics.
Unverified
- We are sharing the first complete computer-checked proof of Fermat’s Last Theorem.
- Claude worked largely autonomously over 11 days to write the proof in the Lean programming language.
- Below, we describe how the formalization was done and share some thoughts about what this work could mean for research mathematics.
Sources: Anthropic