Converting the proof of Fermat's last theorem into code that computers can check was expected to take years. Anthropic's Claude AI managed it in less than two weeks
Mathematics
Fermat’s last theorem formalised by AI agents in just 11 days
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years. Anthropic's Claude AI managed it in less than two weeks
By Matthew Sparkes
5 September 2026
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics
Anthropic's Claude formalizes Fermat's Last Theorem in 11 days
Claude helps complete first formalized proof of Fermat's Last Theorem
Formalizing Fermat's Last Theorem
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever - Decrypt
AI Agents Failed to Prove Fermat's Last Theorem. Then They Got a Shared To-Do List
Claude formalised Fermat's Last Theorem in 11 days
L'intelligence artificielle d'Anthropic "formalise" le dernier théorème de Fermat, célèbre casse-tête mathématique, en seulement onze jours
13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz
Anthropic uses Claude to formalize proof of Fermat’s Last Theorem - SiliconANGLE
Claude produced a 13-million-line, computer-checked proof of the famed conjecture in just 11 days.
Anthropic's Claude formalized Fermat's Last Theorem in 11 days. Anthropic has the best AI model by September 2026 at 85.5% YES.
Anthropic's Claude AI completed the first machine-checked formalization of Fermat's Last Theorem in Lean 4, verifying over 29,500…
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
Anthropic says AI model Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check…
On September 4, Anthropic published something that sounds like a headline from a decade in the...
