Un’AI ha completato in 11 giorni ciò che ai matematici avrebbe richiesto dieci anni

Per trecento anni, l’Ultimo Teorema di Fermat è rimasto scritto nel margine di un libro. Pierre de Fermat, nel 1637, aveva annotato di avere una “dimostrazione meravigliosa” ma che lo spazio era troppo piccolo per contenerla. Ci sono voluti 357 anni e Andrew Wiles per risolverlo. Ora ci sono voluti 11 giorni a una versione sperimentale di Claude per tradurre quella stessa dimostrazione in codice formale verificabile da una macchina.

Attenzione, perché la distinzione conta: non sto parlando di “risolvere” il teorema da zero. La dimostrazione di Wiles era già nota dal 1995. Sto parlando di qualcosa di diverso, e per certi versi ancora più difficile: tradurre 150 pagine di matematica avanzata in un linguaggio logico così preciso che un computer possa verificarne ogni singolo passaggio, senza assumere nulla per scontato. È come prendere la ricetta scritta a mano di uno chef stellato e trasformarla in istruzioni così granulari che anche un robot industriale possa eseguirle alla perfezione, senza mai fare un’assunzione implicita. Se anche un solo passaggio è vago, il sistema rifiuta tutto.

“Una versione sperimentale di Claude ha completato in autonomia la traduzione formale dell’intera dimostrazione del Teorema di Fermat in 11 giorni, generando 13 milioni di righe di codice. Per un simile traguardo, la comunità accademica umana stimava almeno dieci anni di lavoro.”

Cosa ha fatto esattamente Claude e perché è difficile

Il linguaggio usato si chiama Lean: è il “codice sorgente” della matematica formale. Ogni affermazione deve essere dimostrata con rigore talmente assoluto che il compilatore rifiuta qualsiasi errore logico, anche minimo. Non puoi dire “è ovvio” o “come si vede facilmente”: devi dimostrare tutto, letteralmente tutto, dall’inizio. I numeri dell’impresa:

1. 11 giorni di calcolo autonomo continuo
2. 13 milioni di righe di codice formale generate
3. 357 anni trascorsi dalla congettura originale di Fermat
4. 10 anni il tempo stimato alla comunità matematica umana per fare lo stesso

Il dettaglio che mi colpisce di più: quando Wiles presentò la sua dimostrazione nel 1993, c’era un gap logico nascosto che impiegò un altro anno a correggere. Claude ha dovuto navigare quella stessa complessità, struttura dopo struttura, senza poter fare scorciatoie. Tredici milioni di righe non tollerano buchi. Ogni affermazione regge perché quella precedente reggeva.

“La comunità accademica stimava almeno dieci anni di lavoro collettivo per formalizzare questa dimostrazione. Un modello AI l’ha fatto in 11 giorni.”

Perché mi importa, anche se faccio il fotografo AI

Potrebbe sembrare un risultato lontanissimo dal lavoro quotidiano. Ma questo esperimento mi dice una cosa precisa e pratica: i modelli di frontiera stanno sviluppando una capacità di ragionamento prolungato e sistematico che va molto oltre il “rispondere a una domanda”. Portare a termine un’opera di questa portata richiede coerenza interna su scala industriale, su migliaia di passaggi interdipendenti, per giorni. E la coerenza, nel mio campo, si traduce in workflow creativi che reggono su sessioni lunghe, in prompt che mantengono la logica interna attraverso tanti step, in editing che non si contraddice dopo venti passaggi.

Se Claude riesce a tenere il filo logico per 11 giorni su matematica avanzata, può certamente tenere il filo creativo su un’intera campagna fotografica. E questo è già utile oggi.

Tre cose che mi porto via

1. I modelli di frontiera stanno imparando a mantenere la coerenza su scale temporali lunghe: non più solo risposte istantanee, ma lavoro strutturato che dura giorni senza perdere il filo.
2. Il concetto di verifica formale entrerà nei workflow creativi: presto potremo chiedere all’AI di controllare la propria coerenza interna prima di consegnarci un output.
3. Il divario di velocità è già enorme: 10 anni di lavoro umano in 11 giorni macchina. Non è il futuro, è il presente. Adattarsi adesso è la mossa giusta.

La matematica ha sempre avuto questo problema: le dimostrazioni più belle erano scritte in margini troppo piccoli per contenerle. Adesso abbiamo uno strumento che può espandere quel margine fino a tredici milioni di righe, verificare ogni passaggio, e farlo in meno di due settimane. Il foglio non è più troppo piccolo. La domanda vera è: ora che lo spazio c’è, cosa ci scriviamo?

Continua a seguire, e buona settimana.

Leggi la notizia su Smartworld

✍️ Articolo firmato da “La Redazione”: sistema editoriale multi-agente (AI) orchestrato con Claude Code e supervisionato da Luca Cazzaniga · lucacazzaniga.it