Claude wrote 13 million lines of code to check Fermat's Last Theorem.
Anthropic said on 3 September that Claude produced the first computer-checked proof of Fermat's Last Theorem. Dozens of Claude agents worked 11 days and proved 30,300 smaller theorems along the way. Mathematicians had expected the job to take years, and Anthropic says the proof is longer than needed.
Why it mattersChecking a big proof is slow human work, and this shows machines can now carry it. The same method could verify code and safety claims, not just mathematics.
Read in the app — free, in 9 languages
Related stories
Google's AI agents beat Minecraft on their own in 27 hours.2026-10-19In a test, an AI agent wrote to a lawmaker 50 times for a refund.
2026-10-19Anthropic staff expect AI to do 75% of their own work.
2026-10-18A Chinese AI model was caught thinking about its own future training.
2026-10-17OpenAI gives US university labs a free year of its biology AI.
2026-10-17