C’era una volta un problema matematico che sembrava una barzelletta: due numeri, a e b, che sommati facevano 1. Sembra facile, no?
Eppure per 12 anni nessuno è riuscito a dimostrare perché. Poi sono arrivati un premio Nobel, un fisico teorico e… un chatbot.
Sì, avete letto bene.
Se vi dicessi che un’equazione semplice come *a+b=1* ha tenuto impegnati alcuni dei migliori cervelli della fisica mondiale per più di un decennio, probabilmente pensereste che sto esagerando.
E invece no. Questa storia è più contorta di un thriller, più ironica di una commedia e, soprattutto, vera.
by Roosteram – 23 Luglio 2026
Partiamo dall’inizio
Nel 2014, Giorgio Parisi (sì, proprio lui, il premio Nobel per la Fisica 2021) insieme a Francesco Zamponi e ad altri colleghi dell’Università La Sapienza di Roma, stava lavorando a un fenomeno fisico affascinante chiamato “jamming”, o “inceppamento”. Avete presente quando versate della sabbia in un imbuto e a un certo punto si blocca? Oppure quando in autostrada tutti frenano e si forma un tappo senza un apparente motivo? Ecco, il jamming è esattamente questo: un sistema che da fluido e scorrevole diventa improvvisamente rigido e bloccato, pur rimanendo internamente disordinato.
Parisi e Zamponi, nel loro modello teorico, si sono imbattuti in una relazione a dir poco sorprendente: due parametri matematici, chiamati per l’appunto *a* e *b*, sembravano avere una relazione fissa. Sommati, davano sempre 1. Calcoli numerici eseguiti con precisione straordinaria lo confermavano senza ombra di dubbio. Il problema? Nessuno sapeva perché.
E non è che fosse una curiosità da bar. Quella relazione, infatti, produceva esattamente le stesse leggi fisiche ottenute con un approccio teorico completamente diverso sviluppato quasi nello stesso periodo dal fisico francese Matthieu Wyart. Era come se due squadre di architetti, usando progetti e materiali differenti, avessero costruito due ponti identici senza parlarsi. Una coincidenza? Forse. O forse, dietro quella semplice somma, si nascondeva una struttura più profonda della teoria.
Per anni, i ricercatori hanno cercato una dimostrazione matematica. Hanno provato, riprovato, si sono arrovellati. Niente. Il problema, piano piano, è finito in un cassetto.
Tranne che per Giorgio Parisi.
“Dava davvero fastidio che non fossimo mai riusciti a dimostrarlo”, ha raccontato Zamponi. E quando a un premio Nobel dà fastidio qualcosa, meglio che il mondo si tenga pronto.
L’idea folle: e se chiedessimo a un’IA?
Con l’avvento dei modelli di intelligenza artificiale generativa, Parisi ha avuto un’illuminazione. O forse una provocazione. Perché non usare questo vecchio problema come banco di prova per capire fino a che punto un’IA potesse spingersi nella risoluzione di un vero problema matematico?
La scelta è caduta su Claude, il modello di Anthropic. Perché proprio Claude? Semplice: “sembrava avere capacità di ragionamento matematico un po’ più avanzate”, ha spiegato Zamponi. Niente di personale, ChatGPT, ma a volte le differenze si notano.
Ora, attenzione: il prompt iniziale non era “dimostrami questa cosa”. Parisi non è così ingenuo. Ha chiesto a Claude di riprodurre i calcoli numerici che il gruppo aveva sviluppato più di dieci anni prima. Una specie di esame di maturità per macchine: se riesci a fare i compiti a casa, magari possiamo parlare.
Claude ha superato il test. A quel punto, la domanda successiva è venuta quasi naturale: “Se a+b fa 1, puoi anche dimostrarci perché?”
La risposta era lì, davanti ai loro occhi
E qui arriva il colpo di scena. Claude, in tempi relativamente brevi, ha avuto un’intuizione iniziale essenzialmente corretta. La dimostrazione conteneva ancora errori e ha richiesto diversi cicli di verifica e revisione da parte degli autori. Ma l’idea di fondo era quella giusta.
La cosa che ha sorpreso di più i ricercatori, però, non è stata tanto la capacità dell’IA, quanto la semplicità della soluzione. Per anni avevano cercato una spiegazione profonda, immaginando che dietro quella relazione si nascondesse una nuova struttura matematica o una simmetria sconosciuta. Speravano in qualcosa di elegante, di rivoluzionario.
Invece no. “La risposta era proprio lì, e semplicemente non l’avevamo vista”. Zamponi non usa mezzi termini. E questo, ammettiamolo, è sia rassicurante che un po’ umiliante. Rassicurante perché dimostra che anche i geni possono avere i loro momenti “ma come non ci ho pensato prima?”. Umiliante perché quel “come non ci ho pensato prima?” te lo fa dire da un chatbot.
40 round di dialogo e una dimostrazione firmata
Il lavoro, pubblicato sul Journal of Statistical Mechanics: Theory and Experiment (JSTAT), documenta l’intero processo. I ricercatori hanno reso pubblico anche il dialogo con Claude, permettendo a chiunque di vedere passo dopo passo cosa ha fatto l’IA e cosa invece è stato corretto dagli umani.
Nello specifico, hanno utilizzato Claude Sonnet 4.6 e Opus 4.7. Secondo quanto scrivono gli autori, il modello Opus 4.7 ha essenzialmente derivato la dimostrazione in modo autonomo, con una supervisione minima. Poi sono intervenuti loro per controllare, segnalare incongruenze e chiedere correzioni. Un po’ come un insegnante che corregge il compito di uno studente particolarmente brillante, ma con la differenza che qui lo studente è un algoritmo e l’insegnante ha un Nobel in tasca.
La morale della storia (perché una morale ci deve sempre essere)
Al di là del risultato scientifico – che conferma che due approcci teorici diversi al jamming portano effettivamente alle stesse leggi fisiche – questa storia ci dice qualcosa di importante sul futuro della ricerca.
L’intelligenza artificiale non sta sostituendo i fisici. Sta diventando un assistente di ricerca capace di vedere ciò che noi, per abitudine o preconcetti, non vediamo. Claude non ha risolto il problema da solo: ha fornito un’intuizione, poi gli umani hanno verificato, corretto e completato. È una collaborazione, non una sostituzione.
E poi, diciamocelo, c’è un aspetto quasi poetico. Un problema nato dallo studio di materiali granulari e schiume – roba che potremmo definire “terra terra” – viene risolto con l’aiuto di un’intelligenza artificiale che ragiona in termini astratti. La fisica dei sistemi complessi, che studia come interazioni semplici generano comportamenti complicati, trova la sua dimostrazione in una collaborazione tra mente umana e mente artificiale.
Quasi una metafora, no?
E chissà quanti altri “a+b=1” stanno aspettando, nascosti in qualche cassetto, che qualcuno – umano o artificiale che sia – abbia finalmente l’intuizione giusta. O, come in questo caso, che qualcuno si ricordi di chiedere.
P.S. Se state pensando di usare Claude per i compiti di matematica di vostro figlio, vi prego: fatelo con supervisione. E magari spiegategli che, a volte, la risposta più semplice è quella che nessuno vede. Anche se arriva da un chatbot.
Fonti:
