Claude formalised Fermat's Last Theorem in 11 days
5 Articles
5 Articles
Claude formalised Fermat's Last Theorem in 11 days
A mathematician holds a five-year grant to formalise Fermat’s Last Theorem. It has been done for him in eleven days, and he says the result tells us nothing about mathematics. Anthropic published the proof on Friday. Dozens of Claude agents wrote 13 million lines of Lean code and proved 30,300 intermediate theorems. They used 29,500 […] This story continues at The Next Web
Read the full article on stephaneLarue.com Claude, Anthropic's AI, has formalized in 11 days the proof of Fermat's theorem, validated by a mathematician from Imperial College.
On September 4, 2026, AI development company Anthropic announced that its AI, "Claude," had completed a fully machine-verifiable proof of Fermat's Last Theorem. Claude worked almost autonomously for 11 days, generating approximately 13 million lines of code using the proof-assisting system "Lean 4." Anthropic described this as the first complete machine-verified proof of Fermat's Last Theorem. Read more...
According to Anthropic, for the first time, a completely computer-verified version of Fermat's last sentence was submitted by Claude agents.
Claude agents produced the first fully computer-verified proof of Fermat's Last Theorem in 11 days. This was reported on September 4 in Anthropic. Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a for...
Coverage Details
Bias Distribution
- 100% of the sources lean Left
Factuality
To view factuality data please Upgrade to Premium
