Formalizing Fermat's Last Theorem
Likely AI
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 Verdict
ClassificationLikely AI
ConfidenceHigh confidence
Analyzedtext
Community Verdict
Sign in to vote
Be the first to vote on this assessment.
Embed Badge
Add this badge to your site to show the AI classification for this content.
[](https://real.press/content/c3e22d3c-d14d-4dd8-9fc3-12426545f61a)