Skip to content
AI IntelligenceSep 4, 2026AI Intelligence
Article

Anthropic's Claude worked largely autonomously for 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming...

Language, marking a significant milestone in AI-assisted mathematical research.

Data Cube AI EditorialSource: Techmeme
01

Source Brief

Anthropic's Claude worked largely autonomously for 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language, marking a significant milestone in AI-assisted mathematical research.