September 4, 2026Technology·Bullish·ai research
Anthropic says Claude produced first computer-checked proof of Fermat's Last Theorem in Lean
Anthropic announced that its Claude AI model produced the first complete computer-checked proof of Fermat's Last Theorem in the Lean proof assistant, working largely autonomously for 11 days. The announcement was corroborated by multiple independent accounts on September 4, 2026.
Detected & updated continuously · Source: Nebula
Sources
@notanastronomer
so @ShakeelHashim and I went to the theatre tonight in the hour between the play started and intermission, Anthropic announced that Claude proved Fermat’s last theorem
@Cointelegraph
⚡️ INTERESTING: Anthropic says Claude produced the first complete computer-checked proof of Fermat’s Last Theorem in Lean after working largely autonomously for 11 days. https://t.co/XehhpVplEY