AIAnthropic1h ago
Anthropic says Claude worked "largely autonomously" over 11 days
Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language
TL;DRClaude AI autonomously formalized a centuries-old mathematical proof in code over 11 days.
Why it matters: Demonstrates AI capability for complex, long-horizon reasoning tasks without human intervention.
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 full articleSource: Anthropic · Opens in new tab