Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.

Add Yahoo as a preferred source to see more of our stories on Google. Andrew Wiles, the mathematician who presented a proof of Fermat's last theorem back in 1993, stands next to the famous result. AP ...

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 ...

AI converts Andrew Wiles’s 100-page argument into 13 million lines of Lean code, redefining proof verification in mathematics ...

For centuries, Fermat's Last Theorem was the Everest of mathematics. Now, three decades after it was finally solved, mathematicians are asking artificial intelligence to prove it all over again. That ...

Anthropic published the first complete computer-checked formalization of Fermat's Last Theorem on September 4, 2026 — a task the mathematical community had expected to take years of coordinated human ...

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. Anthropic's Claude formalized Fermat's Last Theorem in Lean in just 11 days, costing an ...

Anthropic says Claude has formalised Fermat's Last Theorem in just 11 days, producing 13 million lines of Lean code and 29,500 intermediate theorems, turning a famous human proof into a ...

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 ...

The proof Wiles finally came up with (helped by Richard Taylor) was something Fermat would never have dreamed up. It tackled the theorem indirectly, by means of an enormous bridge that mathematicians ...