AI Achieves First Fully Computer-Checked Proof of Fermat’s Last Theorem
- Anthropic’s Claude AI completed the first fully computer-checked proof of Fermat’s Last Theorem in just 11 days.
- The proof consists of an unprecedented length of over 13 million lines of code, making it the longest math proof ever written.
- Kevin Buzzard from Imperial College London confirmed the validity of Claude’s proof using basic logical rules.
- Claude’s achievement surpasses a human-led project started in 2024 that is yet to be completed.
Claude AI has set a new milestone by producing a formalized and machine-verifiable proof for Fermat’s Last Theorem, which puzzled mathematicians for centuries. This breakthrough demonstrates the potential for AI to handle complex mathematical proofs that are challenging for humans to verify manually.
The successful completion by Claude highlights the growing importance of AI in mathematics, as it provides a reliable method to validate proofs with precision and efficiency, addressing the backlog of unverified proofs in the field. (Source)
