Storia in 5 fonti

Claude formalizza il Teorema di Fermat in soli 11 giorni

L'IA di Anthropic ha completato in 11 giorni ciò che gli umani stimavano richiedesse 10 anni. I dettagli.

Raccontata da

Confronto fonti

5 prospettive sulla stessa storia

AI · summaries

ilfattoquotidiano.itStai leggendo1 g fa

Claude formalizza il Teorema di Fermat in soli 11 giorni

L'IA di Anthropic ha completato in 11 giorni ciò che gli umani stimavano richiedesse 10 anni. I dettagli.

originale

Timeline cronologica

domenica 6 settembre 2026·thenextweb.com
Claude formalised Fermat's Last Theorem in 11 days
Claude agents wrote 13 million lines of Lean in 11 days to prove Fermat's Last Theorem. The mathematician funded to do it says it is not new maths.
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.

ansa.it

1 g fa

Undici giorni invece di dieci anni, l'IA Claude traduce il teorema di Fermat - Future Tech - Ansa.it

Claude (Anthropic) ha tradotto il teorema di Fermat in codice in 11 giorni vs. 10 anni, generando 13 milioni di righe. Evidenzia la scalabilità degli AI agents nel problem-solving: impatto su budget R&D, allocation risorse e decisioni di AI adoption.

Leggi questa versione → originale

franceinfo.fr23 h fa

L'intelligence artificielle d'Anthropic "formalise" le dernier théorème de Fermat, célèbre casse-tête…

Il a fallu près de 360 ans aux mathématiciens pour démontrer cette conjecture, faite par le mathématicien Pierre de Fermat en 1637. Mais vérifier la fiabilité d'une démonstration peut aussi prendre énormément de temps,…

Leggi questa versione → 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

thenextweb.com3 g fa

Claude formalised Fermat's Last Theorem in 11 days

Claude agents wrote 13 million lines of Lean in 11 days to prove Fermat's Last Theorem. The mathematician funded to do it says it is not new maths.

Leggi questa versione → originale

mercoledì 9 settembre 2026·

ansa.it

Undici giorni invece di dieci anni, l'IA Claude traduce il teorema di Fermat - Future Tech - Ansa.it

Il chatbot ha raggiunto l'obiettivo che avrebbe richiesto ai matematici un decennio (ANSA)

mercoledì 9 settembre 2026·

ilfattoquotidiano.it

Claude formalizza il Teorema di Fermat in soli 11 giorni

L'IA di Anthropic ha completato in 11 giorni ciò che gli umani stimavano richiedesse 10 anni. I dettagli.

mercoledì 9 settembre 2026·

franceinfo.fr

L'intelligence artificielle d'Anthropic "formalise" le dernier théorème de Fermat, célèbre casse-tête mathématique, en seulement onze jours

Il a fallu près de 360 ans aux mathématiciens pour démontrer cette conjecture, faite par le mathématicien Pierre de Fermat en 1637. Mais vérifier la fiabilité d'une démonstration…