Claude agents wrote 13 million lines of Lean in 11 days to prove Fermat's Last Theorem. The mathematician funded to do it ...

Anthropic's Claude AI completed the first machine-checked formalization of Fermat's Last Theorem in Lean 4, verifying over 29 ...

Andrew Wiles spent seven years trying to solve a mathematical problem that had resisted everyone else for more than three ...

Claude AI Fermat's Last Theorem: Anthropic published the first complete computer-checked formalization of Fermat's Last ...

Anthropic says Claude completed years of expected math formalization work in only 11 days with limited human guidance ...

Anthropic's Claude recently formalized Fermat's Last Theorem in just 11 days, a task Kevin Buzzard's £1 million project aims ...

L’agent d’Anthropic a traduit cette preuve d’une complexité hors norme dans un langage de programmation, permettant de la ...

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

Converting the proof of Fermat's last theorem into code that computers can check was expected to take years – Anthropic's ...

A proof is a series of arguments that proves a mathematical hypothesis is correct. The proof that Anthropic tackled verifies ...

Anthropic's Claude formalized Fermat's Last Theorem in 11 days. Anthropic has the best AI model by September 2026 at 85.5% ...

AI continues to make rapid advances in science and math. Anthropic says its AI model Claude has produced the first complete, computer-verified ...