TechRadar
Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out
Claude turned a famous mathematical proof into millions of checkable code lines Anthropic says Claude completed years of expected work in 11 days The massive proof contains 13 million lines of Lean code Anthropic has used its Claude…
View original source — TechRadar ↗
Related stories
Nature
TechnologySep 7, 2026 · 1 min
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
Nature
The Next Web
TechnologySep 6, 2026 · 1 min
The man paid to prove Fermat by hand says Claude did it in 11 days
The Next Web
The Punch
TechnologySep 8, 2026 · 1 min
AI solves one of math’s hardest problems in 88 hours, says OpenAI
The Punch
Engadget
TechnologySep 10, 2026 · 1 min
Anthropic caught scientists using Claude to further biological weapon research
Engadget