OpenAI annuncia una possibile soluzione a uno dei sette Problemi del Millennio. Il risultato, ottenuto da migliaia di agenti di intelligenza artificiale, potrebbe rappresentare una svolta storica. Ma la comunità matematica deve ancora verificare la prova.
Per quasi un secolo ha resistito ai tentativi dei matematici. Ora, secondo OpenAI, uno dei problemi più difficili della matematica potrebbe essere stato affrontato con un metodo completamente nuovo: non un singolo sistema di intelligenza artificiale, ma una vera e propria “squadra” di migliaia di agenti che hanno lavorato contemporaneamente.
L’8 settembre 2026 OpenAI ha annunciato di aver prodotto una soluzione al problema di esistenza e regolarità delle equazioni di Navier-Stokes, uno dei sette celebri Problemi del Millennio individuati dal Clay Mathematics Institute. La soluzione, spiega l’azienda, è stata elaborata da un sistema interno basato su un modello di nuova generazione, più potente dell’attuale GPT-6 Astra.
Il risultato è arrivato dopo circa 88 ore di lavoro, durante le quali sarebbero stati impiegati fino a 10.000 agenti AI contemporaneamente. Successivamente, altri 17 ore sono state dedicate alla formalizzazione e alla verifica della dimostrazione attraverso Lean, un sistema utilizzato per controllare formalmente le prove matematiche.
Che cosa sono le equazioni di Navier-Stokes?
Per capire la portata dell’annuncio bisogna partire da una domanda apparentemente semplice: come si comportano i fluidi?
Le equazioni di Navier-Stokes sono uno degli strumenti matematici fondamentali utilizzati per descrivere il movimento di fluidi come acqua e aria. Sono quindi legate a fenomeni che incontriamo continuamente: vortici, correnti, turbolenze, movimento dell’aria e dell’acqua.
Il problema matematico, però, è molto più astratto.
Gli scienziati sanno utilizzare queste equazioni per descrivere moltissimi fenomeni, ma non sono mai riusciti a dimostrare completamente se, partendo da condizioni iniziali regolari, la soluzione rimanga sempre regolare oppure possa sviluppare una singolarità in un tempo finito.
In termini semplici: può accadere che, seguendo le equazioni, la velocità del fluido diventi matematicamente infinita in un determinato punto?
È questa la domanda che ha tenuto impegnati i matematici per decenni.
La spiegazione per i “comuni mortali”: cosa significa 10.000 AI al lavoro insieme?
È probabilmente il dato più impressionante dell’intera vicenda, ma anche quello più facile da fraintendere.
Dire che hanno lavorato 10.000 agenti AI non significa che OpenAI abbia semplicemente aperto 10.000 finestre di ChatGPT e abbia scritto la stessa domanda.
Immaginiamo invece di avere 10.000 ricercatori virtuali.
A ciascun gruppo viene affidato lo stesso enorme problema, ma con l’obiettivo di cercare strade diverse. Un gruppo può tentare una dimostrazione; un altro può cercare un controesempio; un altro ancora può controllare i calcoli degli altri; altri possono sviluppare un’idea completamente differente.
Gli agenti possono inoltre comunicare all’interno dei propri gruppi e utilizzare strumenti per scrivere ed eseguire codice e analizzare materiale matematico. Quando emerge un’idea particolarmente interessante, questa può essere trasferita ad altri gruppi, che la sviluppano ulteriormente.
È un po’ come avere 10.000 persone in una biblioteca enorme, tutte alle prese con lo stesso enigma, ma ognuna impegnata a cercare una soluzione diversa. Dopo un po’, invece di tenere separati tutti i tentativi, si prendono le idee migliori e si fanno circolare tra i vari gruppi.
La differenza fondamentale rispetto al lavoro umano è la velocità: un essere umano può dedicare ore o giorni a sviluppare una singola idea; migliaia di agenti possono esplorare contemporaneamente un numero enorme di possibilità.
Nel caso di Navier-Stokes, OpenAI parla di circa 2,7 milioni di messaggi scambiati tra gli agenti e 130 miliardi di token generati durante il lavoro sul problema.
Non è quindi corretto immaginare un’AI che, improvvisamente, “ha avuto l’idea geniale”. È più corretto parlare di una ricerca matematica automatizzata su scala gigantesca.
Prima Navier-Stokes, le equazioni di Euler
Il percorso verso il risultato sarebbe passato anche da un problema collegato: le equazioni di Euler, che descrivono il movimento dei fluidi in una formulazione priva del termine associato alla viscosità.
Secondo OpenAI, circa 100 agenti hanno lavorato per una cinquantina di ore su una versione del problema della regolarità delle equazioni di Euler, ottenendo un risultato che ha poi contribuito a indirizzare la ricerca verso Navier-Stokes.
A quel punto le risorse computazionali sono state concentrate sul problema del Millennio e il numero degli agenti è arrivato a circa 10.000.
Il risultato: un fluido che può sviluppare una singolarità
Il cuore della dimostrazione proposta da OpenAI riguarda proprio la possibilità di una singolarità in tempo finito.
L’idea può essere visualizzata attraverso un vortice. Immaginiamo una struttura fluida che ruota mentre viene progressivamente allungata e concentrata verso una regione sempre più piccola.
Secondo il risultato annunciato, questa dinamica può portare la velocità a crescere senza limite in un tempo finito, pur mantenendo sotto controllo altre grandezze fondamentali del sistema.
Se la dimostrazione sarà confermata, la conseguenza è enorme: significherebbe aver dimostrato che una soluzione inizialmente regolare delle equazioni tridimensionali di Navier-Stokes può effettivamente sviluppare una singolarità.
La prova è già stata verificata?
Qui bisogna fare una distinzione fondamentale.
OpenAI sostiene di aver risolto il problema, ma la comunità matematica non ha ancora ufficialmente certificato la soluzione.
L’azienda ha prodotto una dimostrazione matematica di circa 165 pagine e ha successivamente utilizzato Lean per formalizzarne e verificarne i passaggi. Questo rappresenta un elemento importante, perché consente di sottoporre la dimostrazione a un controllo formale computerizzato.
Ma una verifica formale non equivale automaticamente all’accettazione da parte della comunità scientifica. I matematici dovranno esaminare il risultato, verificarne le ipotesi e stabilire se risponde esattamente alla formulazione del problema proposta dal Clay Mathematics Institute.
Le regole del Clay Institute prevedono inoltre un lungo processo di valutazione prima che una soluzione possa essere considerata ufficialmente vincitrice del Millennium Prize.
Per questo, oggi è più corretto parlare di una soluzione annunciata da OpenAI e sottoposta alla verifica della comunità matematica, piuttosto che di un problema già ufficialmente risolto dal punto di vista del premio.
Il milione di dollari non è ancora in gioco
I sette Problemi del Millennio sono stati scelti dal Clay Mathematics Institute come alcune delle più importanti sfide matematiche ancora aperte. Per ciascuno era stato istituito un premio di 1 milione di dollari.
Dal 2000 a oggi, soltanto uno dei sette era stato ufficialmente risolto: la congettura di Poincaré, affrontata dal matematico russo Grigorij Perelman.
Se il risultato di OpenAI dovesse superare la verifica degli esperti, Navier-Stokes diventerebbe quindi il secondo Problema del Millennio ufficialmente risolto.
OpenAI ha comunque dichiarato di non voler reclamare il milione di dollari.
E c’è anche una controversia
L’annuncio è stato accompagnato da una discussione molto delicata nel mondo della ricerca.
Il matematico della New York University Tristan Buckmaster e il ricercatore di Anthropic Levent Alpöge stavano lavorando a un problema collegato della fluidodinamica e hanno espresso preoccupazioni sulla possibile influenza del loro lavoro sul progetto OpenAI.
Buckmaster ha sollevato il tema perché alcune delle sue ricerche erano state sviluppate utilizzando strumenti OpenAI. OpenAI ha negato di aver avuto accesso al loro lavoro privato e ha sostenuto che la propria dimostrazione sia stata sviluppata indipendentemente. L’azienda ha tuttavia precisato di non poter escludere che dati anonimizzati derivanti dall’utilizzo dei suoi prodotti possano aver contribuito al miglioramento dei propri modelli.
La questione, quindi, non riguarda soltanto la matematica, ma apre anche un interrogativo nuovo: come si attribuisce la paternità di una scoperta quando migliaia di agenti artificiali lavorano insieme e i modelli vengono addestrati su enormi quantità di dati?
Una nuova idea di ricerca scientifica
Al di là del fatto che la prova venga o meno definitivamente accettata, l’esperimento di OpenAI indica una direzione che potrebbe avere conseguenze ben più ampie di Navier-Stokes.
Per decenni la ricerca scientifica è stata basata principalmente sull’intelligenza e sul lavoro di singoli ricercatori o di piccoli gruppi.
Qui il paradigma cambia.
Non abbiamo più soltanto un’intelligenza artificiale che risponde a una domanda, ma migliaia di sistemi che possono cercare contemporaneamente, confrontare ipotesi, scartare strade senza successo e sviluppare quelle che sembrano più promettenti.
Nel caso di Navier-Stokes, tutto questo sarebbe avvenuto in appena 88 ore.
Per fare un paragone comprensibile: un problema che ha resistito ai matematici per generazioni è stato sottoposto, in una sorta di laboratorio digitale, a migliaia di “menti” artificiali contemporaneamente per meno di quattro giorni.
È questo, forse, il dato più importante della vicenda.
Non soltanto ciò che l’intelligenza artificiale potrebbe aver scoperto, ma la velocità con cui una macchina può oggi esplorare uno spazio di possibilità matematiche che per un essere umano è praticamente impossibile percorrere nella sua interezza.
La vera prova, però, comincia adesso: saranno i matematici, e non il numero degli agenti o la potenza dei computer, a stabilire se Navier-Stokes è davvero caduto.