Fermat's Last Theorem Machine-Checked: Claude Completes in 11 Days What Took Years to Plan
Likely Human
Claude AI Fermat’s Last Theorem: Anthropic published the first complete computer-checked formalization of Fermat’s Last Theorem on September 4, 2026, after Claude wrote 13 million lines of Lean...
The Verdict
ClassificationLikely Human
ConfidenceMedium 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/69c9ff19-4a15-488f-9a8d-a63a6a5b4af9)