HomeAI · summaries
Storia in 7 fonti
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever - Decrypt
Anthropic says AI model Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself.
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.
