Storia in 3 fonti

Formalizing Fermat's Last Theorem

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

Raccontata da

heise.de

nature.com

anthropic.com

Confronto fonti

3 prospettive sulla stessa storia

AI · summaries

anthropic.comStai leggendo17 h fa

Formalizing Fermat's Last Theorem

Claude completed Fermat's Last Theorem's first computer-verified proof in 11 days, proving 29,500 intermediate theorems. Automating proof formalization compresses years to days, transforming mathematical validation and enabling trustworthy algorithmic discovery.

originale

nature.com3 g fa

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.

Leggi questa versione → originale

Timeline cronologica

domenica 6 settembre 2026·heise.de
13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.
lunedì 7 settembre 2026·nature.com
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.

Formalizing Fermat's Last Theorem

Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics

Timeline cronologica

13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz

Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics

13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz

Formalizing Fermat's Last Theorem