HomeAI · summaries
Storia in 8 fonti
AI Agents Failed to Prove Fermat's Last Theorem. Then They Got a Shared To-Do List
On September 4, Anthropic published something that sounds like a headline from a decade in the...
Confronto fonti
6 prospettive sulla stessa storiaTimeline cronologica
- ·
cryptobriefing.com
Claude helps complete first formalized proof of Fermat's Last Theorem
Anthropic's Claude AI completed the first machine-checked formalization of Fermat's Last Theorem in Lean 4, verifying over 29,500 theorems
- ·
Anthropic's Claude formalizes Fermat's Last Theorem in 11 days
Anthropic's Claude formalized Fermat's Last Theorem in 11 days. Anthropic has the best AI model by September 2026 at 85.5% YES.
