L’8 settembre 2026 OpenAI ha pubblicato On the Navier–Stokes Millennium Prize Problem, con la stesura della dimostrazione e la formalizzazione in Lean. La tesi è che le equazioni di Navier-Stokes, partendo da un fluido liscio e fermo, possano sviluppare una singolarità in tempo finito.

Le equazioni descrivono il moto dei fluidi trattandoli come mezzo continuo invece che come insieme di molecole, e sono le stesse che stanno sotto la progettazione di un’ala, la previsione del tempo e il calcolo del flusso del sangue. La domanda aperta da novanta anni era se quella descrizione regga per sempre.

L’annuncio arriva in mezzo a una contesa sul credito con Tristan Buckmaster e Levent Alpöge, che negli stessi giorni hanno pubblicato tre dimostrazioni su equazioni vicine. Sulla contesa non entro. Le fonti sono in fondo, compresa la ricostruzione di Giorgio Gilestro.

Che cosa è stato dimostrato

Il risultato va nella direzione della rottura. Il sistema ha prodotto una dimostrazione analitica, e la sua formalizzazione, che un fluido inizialmente liscio e in quiete arriva in tempo finito a velocità illimitata, con energia che resta finita per tutta la dinamica.

L’oggetto è un vortice che si avvita verso l’interno e si allunga, con la regione centrale che si stringe mentre accelera. La difficoltà tecnica sta nel fatto che la rottura deve nascere dal moto del fluido stesso: accelerazione, gradienti di pressione, trasporto di quantità di moto e viscosità devono diventare tutti grandi e insieme cancellarsi in modo preciso, così che la velocità cresca senza limite mentre la forza esterna resta liscia.

Il significato fisico lo scrive OpenAI stessa. Un fluido reale non può muoversi a velocità infinita, quindi il punto in cui la matematica esplode è il punto in cui il modello smette di descrivere il fluido, e da lì in avanti bisognerebbe seguire le molecole una per una.

Perché la forza esterna non è una scorciatoia

Vale la pena leggere l’enunciato ufficiale, perché è il punto su cui è facile equivocare. Nella formulazione di Fefferman per il Clay Mathematics Institute gli enunciati sono quattro. (A) e (B) chiedono esistenza e regolarità su R³ e sul toro R³/Z³, cioè lo spazio con condizioni al contorno periodiche, con forza identicamente nulla. (C) e (D) chiedono la rottura sugli stessi due domini, e lì il testo ammette esplicitamente una forza liscia f(x,t) accanto al dato iniziale.

OpenAI dichiara di aver stabilito l’enunciato C e anche il D. La forzatura quindi non indebolisce il risultato rispetto al problema del millennio: sta dentro l’enunciato che il problema stesso mette a disposizione.

Va tenuto distinto il caso di Euler, che è la stessa domanda con viscosità nulla e che nel documento di Fefferman è dichiarato aperto e importante ma non fa parte dei sette problemi. Lì gli agenti di OpenAI hanno risolto la versione non forzata, mentre Tristan Buckmaster e Levent Alpöge hanno pubblicato la versione forzata insieme ad altri due risultati di blowup. Sono cose diverse, ed è la ragione per cui le due squadre non si sovrappongono.

Come è stato prodotto

Qui i numeri sono quelli dichiarati da OpenAI e vale la pena metterli in fila, perché sono la parte che riguarda chi lavora con questi sistemi.

Il modello interno è in addestramento dal 28 agosto e l’addestramento è ancora in corso. Il 1 settembre, dopo aver sentito voci su due problemi del millennio risolti, hanno lanciato un tentativo su tutti quelli aperti, con gruppi di agenti coordinati dotati di lettura da una copia della rete e di esecuzione di codice.

  • Gruppo che ha risolto Navier-Stokes: dell’ordine di 10.000 agenti concorrenti
  • Soluzione raggiunta sabato 5 settembre, circa 88 ore dopo il lancio
  • Formalizzazione e verifica in Lean, altre 17 ore, con GPT-6 Astra
  • Su Navier-Stokes soltanto: 2,7 milioni di messaggi e circa 130 miliardi di token in uscita
  • Su tutti i problemi tentati: 4,9 milioni di messaggi e circa 300 miliardi di token

Il disproof della regolarità di Euler non forzato è arrivato prima, da un centinaio di agenti in una cinquantina di ore, ed è servito da innesco: hanno spostato le risorse su Navier-Stokes e passato agli agenti la soluzione di Euler come materiale di partenza, poi hanno usato Codex per consolidare le intuizioni dei diversi gruppi.

Che cosa cambia davvero

La mia sensazione è che eliche, aerei, vele, missili, previsioni meteo e persino i ventilatori cambieranno. Va detto però per quale strada, perché non è quella che sembra.

Non è il teorema in sé. Chi fa fluidodinamica computazionale risolve queste equazioni numericamente da decenni senza sapere se le soluzioni lisce sopravvivono, e continuerà a farlo domani mattina esattamente come ieri. Nessun ufficio tecnico ridisegna un’elica perché esiste un dato iniziale patologico che porta a velocità infinita.

Il teorema dice però una cosa che prima era congettura, cioè che il modello continuo ha un bordo suo e che quel bordo lo si raggiunge partendo da condizioni lisce. Il meccanismo con cui ci si arriva è lo stiramento di un vortice che si avvita e accelera, ed è lo stesso meccanismo che governa le piccole scale dove vivono la cavitazione su una pala, il distacco su un profilo e il rumore di una ventola. Sapere dove il modello finisce è la premessa per sapere quanto fidarsi di un calcolo vicino a quel bordo.

La strada vera però è il metodo. Quello che decide se una simulazione predice bene la spinta di una vela non sono le equazioni, che sono note dall’Ottocento, ma i modelli di chiusura della turbolenza, cioè cosa mettere al posto delle scale che non si riescono a risolvere. È un problema di analisi della stessa famiglia di quello appena chiuso, ed è lo stesso collo di bottiglia delle previsioni meteo, dove quanto lontano si riesce a vedere dipende da come si parametrizzano la convezione e la turbolenza dello strato limite che la griglia non risolve. Se un sistema di agenti coordinati porta a casa in 88 ore una questione aperta da novanta anni, i problemi di chiusura entrano nel raggio d’azione, e quelli sì che si vedono sull’elica, sulla vela e sul bollettino.

Il vento che si legge a mano

Chi insegna vela la turbolenza la legge senza equazioni. I filetti sul lato sopravvento della randa che si mettono a ballare, la balumina che comincia a sfarfallare, la portanza che muore quando il flusso si stacca e la barca che si siede: sono tutte cose che si sentono nel timone prima di vederle da qualche parte.

L’immagine di copertina è la stessa fisica alla scala dell’oceano, una scia di vortici alternati sottovento a Madeira. Adesso qualcuno ha dimostrato che il modello dietro quei vortici, se lo si spinge nel posto giusto, arriva a un punto in cui non descrive più niente.

In Le vele di Bertrand Chéret la barca è un biplano. Una superficie portante lavora in aria ed è la vela, l’altra lavora in acqua ed è l’opera viva. Devono darsi forze laterali uguali e contrarie, e siccome l’acqua è circa ottocento volte più densa dell’aria quella sott’acqua può essere molto più piccola. Sono le stesse equazioni con densità e viscosità diverse.

Il bollettino della sera prima dice che vento troverò, la vela lo trasforma in forza e la deriva trasforma quella forza in rotta. Sono tre passaggi dello stesso conto, e adesso di quel conto conosciamo il bordo. Poi si esce lo stesso, si guarda l’acqua e si regola.

Immagine di copertina: scia di vortici di von Kármán sottovento a Madeira, Terra MODIS, 1 dicembre 2002 — Jeff Schmaltz, MODIS Rapid Response Team, NASA/GSFC — pubblico dominio — https://commons.wikimedia.org/wiki/File:Vortex_street_near_Madeira_Island,_Dec_1,_2002.jpg