Back to News
Anthropic's Claude Formally Proved Fermat's Last Theorem in 11 Days
Claude autonomously wrote a 13 million line Lean proof of Fermat's Last Theorem in 11 days, verifying 29,500 supporting theorems along the way.
Source
Anthropic
Published
Author
AlphaSignal Newsroom
Read
1 min read
Claude autonomously wrote a 13 million line Lean proof of Fermat's Last Theorem in 11 days, verifying 29,500 supporting theorems along the way.
Reporting is indexed from AlphaSignal. Rights remain with the original publisher and cited sources.
Read original report
