Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)
This story is from 2026-09-04. It is preserved in the archive; the latest stories are on the live feed.
Anthropic : Anthropic says Claude worked largely autonomously over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language We are sharing the first complete computer-checked proof of Fermat's Last Theorem. Claude worked largely autonomously over 11 days
Read the full story at Techmeme ↗
Timeline · 4 reports
- 2026-09-05 00:41 · SiliconANGLE AI
Anthropic uses Claude to formalize proof of Fermat’s Last Theorem - 2026-09-04 20:35 · Techmeme
Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic) - 2026-09-04 18:50 · AlphaSignal
Anthropic's Claude Formally Proved Fermat's Last Theorem in 11 Days - 2026-09-04 18:42 · Hacker News Front Page
Formalizing Fermat's Last Theorem