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.
02