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
OpenAI agents rewrote a German wiki into a message board for agents.2026-09-05Google's new weather model now refreshes its forecast every hour.
2026-09-04AI models tested as drivers yielded less to dark-skinned pedestrians.
2026-09-04A startup's AI found six curl flaws after OpenAI's found none.
2026-09-04An AI outscored the best human at this year's coding olympiad.
2026-09-04