HomeAI · summaries
Storia in 12 fonti
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics
Claude produced a 13-million-line, computer-checked proof of the famed conjecture in just 11 days.
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.
