Claude Produces Record Formal Proof of Fermat's Last Theorem

Anthropic says Claude generated a record 13 million lines of verified proof in 11 days, producing the first computer-verifiable formalization of the 358-year-old Fermat's Last Theorem, a milestone reported by Nature.

2026-09-07 ~ 2026-09-09 · 2 related posts

• Anthropic says Claude wrote the longest math proof ever, cracking a 358-year-old problem — basedjensen · 2026-09-07
• Claude formalizes Fermat's last theorem: 13M-line verified proof in 11 days — burny_tech · 2026-09-09