Un modello interno ha costruito una soluzione in cui un fluido inizialmente regolare sviluppa una singolarità in tempo finito: il risultato è potenzialmente storico, ma il riconoscimento matematico non è ancora definitivo.
OpenAI ha annunciato una possibile soluzione del problema di esistenza e regolarità delle equazioni di Navier-Stokes, uno dei sette Problemi del Millennio individuati dal Clay Mathematics Institute. Il risultato sostiene che, in tre dimensioni, esistono condizioni perfettamente regolari nelle quali una soluzione delle equazioni può arrivare a una singolarità in un tempo finito. In termini semplici, il modello matematico può concentrare il moto del fluido in una regione sempre più piccola fino a far crescere la velocità senza limite, pur mantenendo finita l’energia complessiva. È un’affermazione molto più precisa di quanto suggerisca l’espressione “risolto Navier-Stokes” e per comprenderne la portata bisogna distinguere tra il risultato matematico annunciato, la sua interpretazione fisica e il riconoscimento ufficiale del Problema del Millennio.
Che cosa sono le equazioni di Navier-Stokes
Le equazioni di Navier-Stokes sono uno degli strumenti fondamentali della fluidodinamica. Descrivono l’evoluzione nel tempo di fluidi come acqua e aria tenendo conto di velocità, pressione, viscosità e forze applicate. Sono alla base di modelli utilizzati nello studio dell’aerodinamica, della meteorologia, delle correnti marine, del moto dei liquidi nei sistemi industriali e di numerosi fenomeni naturali.
Nel caso di un fluido incomprimibile, l’idea essenziale può essere riassunta nell’equilibrio tra diversi effetti. Una parte dell’equazione descrive l’accelerazione del fluido, un’altra il trasporto della quantità di moto, un’altra ancora la pressione. Il termine legato alla viscosità tende invece a rendere il movimento più regolare, smorzando variazioni troppo brusche della velocità.
La difficoltà nasce soprattutto dalla non linearità. Il fluido modifica il proprio moto mentre si muove: la velocità determina il modo in cui altra velocità viene trasportata nello spazio. Questa interazione può produrre strutture estremamente complesse, in particolare in tre dimensioni, dove entrano in gioco vortici che possono allungarsi, restringersi e interagire su scale differenti.
Da qui nasce la domanda che ha resistito per decenni: la viscosità è sempre abbastanza forte da impedire che una soluzione inizialmente regolare diventi singolare, oppure esistono configurazioni in cui il meccanismo non lineare riesce a prevalere?
George Gabriel Stokes, tra i protagonisti dello sviluppo ottocentesco delle equazioni che portano il suo nome. Immagine di pubblico dominio.
Il vero problema non è calcolare il moto dell’acqua
Un equivoco frequente consiste nel pensare che il Problema del Millennio chieda semplicemente di trovare una formula capace di prevedere il comportamento di un fluido. Non è così. Le equazioni vengono già utilizzate da moltissimo tempo e possono essere risolte numericamente in una vastissima gamma di situazioni concrete.
La questione è invece di natura profondamente matematica: bisogna stabilire che cosa possa accadere in ogni situazione ammessa dalle equazioni. Se si parte da dati iniziali lisci e ben controllati, una soluzione tridimensionale resta liscia per sempre oppure può raggiungere un punto nel quale una determinata grandezza diverge?
Il termine fondamentale è singolarità. Una singolarità compare quando una quantità che dovrebbe essere regolare diventa illimitata. Nel caso della costruzione annunciata, avvicinandosi a un determinato istante la velocità massima del fluido cresce senza limite.
Questo non significa che nel mondo reale sia stato scoperto un liquido capace di raggiungere velocità infinite. Significa piuttosto che il modello matematico continuo può arrivare a una situazione estrema nella quale la propria descrizione perde regolarità. Le molecole di un vero liquido non sono un continuo infinitamente divisibile e, prima di raggiungere un comportamento letteralmente infinito, diventerebbero rilevanti effetti fisici che il modello ideale non descrive nello stesso modo.
Perché il problema è aperto da così tanto tempo
Nel 1934 il matematico francese Jean Leray dimostrò un risultato fondamentale: per le equazioni tridimensionali di Navier-Stokes esistono globalmente delle cosiddette soluzioni deboli, una nozione più generale di soluzione che consente di dare senso alle equazioni anche quando non tutte le quantità sono perfettamente regolari.
Questa scoperta non risolse però il problema decisivo. Una soluzione debole può contenere irregolarità e non è automaticamente equivalente a una soluzione classica liscia. Da allora è rimasta aperta la possibilità che una soluzione inizialmente regolare possa perdere regolarità in tempo finito.
Quando nel 2000 il Clay Mathematics Institute selezionò sette grandi questioni irrisolte assegnando a ciascuna un premio da un milione di dollari, il problema di Navier-Stokes entrò nella lista. Dei sette problemi, finora soltanto la congettura di Poincaré ha ottenuto un riconoscimento definitivo come risolta.
Che cosa sostiene di aver dimostrato la nuova prova
Il risultato annunciato riguarda un fluido tridimensionale incomprimibile con viscosità positiva. La costruzione parte da una situazione regolare e applica al sistema una forza esterna liscia. Durante l’evoluzione si forma una struttura vorticosa che diventa progressivamente più concentrata.
Il punto essenziale è che la singolarità non viene prodotta inserendo artificialmente una forza infinita. Al contrario, la forza rimane perfettamente regolare. È il moto stesso del fluido, attraverso l’interazione tra accelerazione, pressione, trasporto e viscosità, a generare una concentrazione sempre più intensa.
Il vortice ruota, si avvolge verso l’interno e contemporaneamente si allunga lungo il proprio asse. La sua regione centrale occupa progressivamente meno spazio, mentre la velocità aumenta. Il processo viene costruito in modo che l’energia cinetica totale rimanga limitata anche quando la velocità massima tende a infinito.
Questa caratteristica è fondamentale. Una funzione potrebbe essere resa infinita banalmente introducendo una quantità infinita di energia nel sistema, ma un simile esempio avrebbe poco valore per il problema. Qui, invece, l’effetto nasce dalla concentrazione dell’energia in volumi sempre più piccoli.
Un esempio intuitivo per capire il blowup
Il fenomeno viene indicato con il termine inglese blowup. Per comprenderlo si può immaginare una quantità di energia distribuita inizialmente su una regione relativamente ampia. Con il passare del tempo questa energia viene compressa in uno spazio sempre più ristretto.
Un’analogia molto approssimativa è quella di una pattinatrice che, avvicinando le braccia al corpo, aumenta la velocità di rotazione. Nel caso di Navier-Stokes il processo è molto più complesso, perché il vortice deve rispettare contemporaneamente tutte le componenti dell’equazione e deve continuare a farlo mentre le scale spaziali diventano sempre più piccole.
La parte realmente difficile della dimostrazione consiste proprio nel mostrare che tutti i termini molto grandi che emergono durante il processo possono compensarsi con precisione, lasciando una forza esterna regolare. Non basta quindi immaginare un vortice che accelera: bisogna dimostrare rigorosamente che quella struttura soddisfa le equazioni.
La forza esterna non rende il risultato estraneo al Problema del Millennio
Questo è probabilmente il punto che richiede maggiore attenzione. Spesso il problema di Navier-Stokes viene divulgato attraverso una formulazione semplificata: si parte da un fluido regolare senza forze esterne e si chiede se la soluzione possa diventare singolare.
La formulazione matematica ufficiale è però più articolata e presenta quattro alternative, indicate con le lettere A, B, C e D. Le prime due riguardano la dimostrazione della regolarità globale. Le altre due permettono invece di dimostrare l’esistenza di un breakdown attraverso dati e forze che rispettino condizioni estremamente precise.
| Alternativa | Obiettivo matematico |
|---|---|
| A | Dimostrare l’esistenza globale e la regolarità delle soluzioni nello spazio tridimensionale con forza esterna nulla. |
| B | Dimostrare un risultato analogo nel caso tridimensionale periodico. |
| C | Costruire dati regolari e una forza liscia per i quali non esista una soluzione globale liscia con le proprietà richieste. |
| D | Ottenere un breakdown analogo nella formulazione periodica. |
La prova annunciata sostiene di realizzare proprio le alternative C e D. Per questo la presenza di una forza esterna non basta a liquidare il risultato come estraneo al problema ufficiale.
La verifica decisiva riguarda piuttosto un altro aspetto: bisogna controllare che la forza, i dati iniziali, il decadimento spaziale, l’energia e tutte le proprietà della soluzione rispettino esattamente le condizioni richieste. Se anche un solo passaggio non soddisfacesse la formulazione ufficiale, la conclusione potrebbe cambiare.
Perché la singolarità è così difficile da costruire
Le Navier-Stokes contengono due tendenze che competono tra loro. La non linearità può trasferire e concentrare il moto, mentre la viscosità tende a diffonderlo e a smorzarlo. Per produrre un blowup bisogna costruire una dinamica nella quale la concentrazione riesca a procedere più rapidamente dell’effetto regolarizzante della viscosità.
Inoltre la pressione non è una quantità che può essere scelta arbitrariamente. È legata alla condizione di incomprimibilità e risponde globalmente alla configurazione del campo di velocità. Una modifica locale del vortice può quindi produrre conseguenze in altre parti della soluzione.
La dimostrazione deve controllare contemporaneamente scale spaziali, scale temporali, velocità, pressione, viscosità, energia e forza esterna. È questa sovrapposizione di vincoli a rendere il problema eccezionalmente difficile.
Il passaggio attraverso le equazioni di Euler
Prima di concentrare le risorse su Navier-Stokes, il sistema utilizzato da OpenAI ha lavorato anche sulle equazioni di Euler, che descrivono un fluido ideale senza viscosità. In termini intuitivi, sono parenti strette delle Navier-Stokes ma prive proprio del termine che tende a smorzare il moto.
Un gruppo di circa cento agenti software avrebbe ottenuto in circa cinquanta ore una costruzione di blowup per una versione non forzata del problema di Euler. Quel risultato è stato poi utilizzato come punto di partenza per indirizzare la ricerca verso Navier-Stokes.
Il passaggio è importante perché suggerisce la strategia generale: prima individuare un meccanismo capace di produrre la concentrazione in assenza di viscosità, poi capire come modificarlo per farlo sopravvivere anche quando il termine viscoso è presente.
Diecimila agenti e milioni di messaggi
Un altro elemento che ha attirato l’attenzione è la scala del processo. OpenAI riferisce di aver utilizzato gruppi di agenti software coordinati, con strategie differenti esplorate in parallelo. Il gruppo che avrebbe raggiunto la costruzione finale era dell’ordine di 10.000 agenti contemporanei.
| Elemento | Dato dichiarato |
|---|---|
| Agenti coinvolti nel gruppo decisivo | circa 10.000 |
| Tempo necessario per arrivare alla soluzione candidata | circa 88 ore |
| Tempo aggiuntivo per formalizzazione e verifica | circa 17 ore |
| Messaggi scambiati durante il lavoro su Navier-Stokes | circa 2,7 milioni |
| Output generato durante il lavoro su Navier-Stokes | circa 130 miliardi di token |
La ricerca sarebbe partita il 1° settembre 2026, mentre la soluzione candidata sarebbe stata raggiunta il 5 settembre. Il sistema ha esplorato contemporaneamente più approcci e successivamente ha riunito le intuizioni considerate più promettenti.
Questa metodologia assomiglia meno alla richiesta rivolta a un singolo programma e più a una grande organizzazione di ricerca computazionale, nella quale migliaia di unità lavorano su sotto-problemi, confrontano strategie e trasferiscono risultati intermedi.
Che cosa significa la formalizzazione in Lean
Oltre alla dimostrazione matematica tradizionale, è stata pubblicata una formalizzazione in Lean. Lean è un ambiente nel quale definizioni, teoremi e passaggi logici vengono tradotti in una forma controllabile automaticamente.
Nella matematica ordinaria, un articolo può contenere passaggi lasciati implicitamente al lettore, calcoli abbreviati o richiami a risultati noti. Una prova formalizzata deve invece specificare la struttura logica con un livello di dettaglio molto più elevato.
Il fatto che la costruzione sia formalizzata rappresenta quindi un elemento importante, perché consente un controllo meccanico della coerenza dei passaggi inseriti. Ma non significa automaticamente che il Problema del Millennio sia già riconosciuto come risolto.
Resta infatti necessario verificare che ciò che è stato formalizzato corrisponda esattamente alla formulazione del problema, che le definizioni utilizzate siano quelle corrette e che l’intera costruzione matematica rappresenti davvero le alternative previste dal Clay Mathematics Institute.
Perché il problema non è ancora ufficialmente chiuso
Al 9 settembre 2026 il Clay Mathematics Institute continua a classificare Navier-Stokes tra i Problemi del Millennio non risolti. Questo non dimostra che la nuova prova sia sbagliata: significa semplicemente che l’annuncio è troppo recente perché abbia completato il percorso di verifica previsto.
Le regole del premio stabiliscono condizioni precise prima che una proposta possa essere presa in considerazione. In particolare, la soluzione deve essere pubblicata in una sede qualificata, devono trascorrere almeno due anni dalla pubblicazione e il risultato deve aver raggiunto una accettazione generale nella comunità matematica internazionale.
OpenAI ha inoltre dichiarato di non voler rivendicare il premio da un milione di dollari. La decisione economica, però, è distinta dal valore scientifico. Una dimostrazione corretta resterebbe una risoluzione storica del problema anche senza richiesta del premio.
La controversia sulla priorità della ricerca
L’annuncio è accompagnato anche da una discussione sulla priorità scientifica. Il matematico Tristan Buckmaster e il ricercatore Levent Alpöge stavano lavorando in parallelo su risultati di blowup per equazioni della fluidodinamica strettamente collegate e avevano seguito una direzione basata sull’uso di forze regolari.
OpenAI ha spiegato di avere avviato la propria campagna sui Problemi del Millennio dopo aver ricevuto indiscrezioni secondo cui alcuni grandi problemi matematici potevano essere vicini a una soluzione. La società sostiene che il proprio gruppo non abbia avuto accesso specifico al lavoro non pubblicato dei due ricercatori prima della sua diffusione.
Le ricostruzioni delle parti non coincidono completamente e il tema del credito scientifico resta separato dalla domanda principale sulla validità della prova. Per valutare Navier-Stokes bisognerà quindi distinguere due questioni differenti: chi abbia avuto per primo determinate idee e se la dimostrazione pubblicata sia matematicamente corretta.
Che cosa non dimostra questo risultato
Per evitare interpretazioni eccessive, è utile chiarire ciò che la costruzione non afferma:
- non dimostra che tutti i fluidi sviluppino singolarità;
- non implica che acqua o aria possano raggiungere realmente una velocità infinita;
- non significa che tutte le applicazioni ingegneristiche delle equazioni di Navier-Stokes siano improvvisamente inaffidabili;
- non equivale ancora al riconoscimento ufficiale del Problema del Millennio;
- non elimina la necessità di una verifica indipendente da parte dei matematici.
Il risultato, se confermato, stabilirebbe invece qualcosa di molto specifico e potente: le equazioni tridimensionali di Navier-Stokes ammettono almeno una configurazione regolare, compatibile con le condizioni previste dal problema ufficiale, nella quale la regolarità globale fallisce.
Perché sarebbe comunque un risultato storico
Una conferma definitiva avrebbe un valore enorme per l’analisi matematica e per lo studio delle equazioni differenziali alle derivate parziali. Per generazioni di matematici, Navier-Stokes ha rappresentato un banco di prova sulla capacità di comprendere il rapporto tra non linearità, dissipazione e formazione di strutture su scale sempre più piccole.
Se il blowup venisse confermato, sapremmo che la viscosità, pur avendo un forte effetto regolarizzante, non impedisce in assoluto la formazione di singolarità nelle condizioni previste dalla costruzione.
Questo non fornirebbe automaticamente una nuova formula per progettare aeroplani o prevedere il tempo, ma cambierebbe profondamente la teoria matematica dei fluidi. Sapere che una singolarità può esistere è infatti completamente diverso dal non sapere se sia possibile.
Il passaggio decisivo sarà la verifica indipendente
Il punto più importante delle prossime settimane e dei prossimi mesi sarà la lettura dettagliata della dimostrazione da parte degli specialisti. Una prova di questa portata non viene accettata per la notorietà di chi la pubblica né per la quantità di calcolo utilizzata.
Ogni stima dovrà essere controllata, ogni ipotesi confrontata con la formulazione ufficiale e ogni passaggio potenzialmente delicato dovrà essere ricostruito. La formalizzazione rappresenta un supporto importante, ma la comunità dovrà anche comprendere perché la costruzione funziona e come si inserisce nella teoria precedente.
Per questo, oggi, le due frasi apparentemente opposte possono essere entrambe corrette: è stata pubblicata una prova candidata che sostiene di risolvere il problema di Navier-Stokes, ma allo stesso tempo il Problema del Millennio non è ancora ufficialmente chiuso.
Il significato della scoperta in poche parole
L’idea fondamentale può essere riassunta così: si parte da un fluido matematicamente regolare, si applica una forza anch’essa regolare e si costruisce un vortice che concentra sempre di più il proprio moto. La regione interessata diventa più piccola, la velocità cresce, l’energia complessiva resta sotto controllo e infine la soluzione raggiunge una singolarità in tempo finito.
Se tutti i passaggi saranno confermati, la risposta alla domanda se le equazioni possano “rompersi” sarà quindi affermativa, almeno nella formulazione prevista dalle alternative C e D. Sarebbe la conclusione di una delle più importanti questioni aperte della matematica moderna e, allo stesso tempo, l’inizio di una nuova fase di studio: capire più profondamente come nasce la singolarità, quali altre configurazioni possono produrla e che cosa insegna sul comportamento delle equazioni dei fluidi.
