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.

Alleggerisco un po’ il titolo: ci vorrà tempo per capire come usare questa scoperta nella progettazione di cose reali. Per la fisica delle vele, nell’immediato, cambia pochissimo. Il risultato non dice che il vento attorno a una vela possa raggiungere velocità infinite né che i programmi di simulazione diventino inaffidabili. Portanza, resistenza, separazione dello strato limite e vortici di estremità si continuano a calcolare con Navier-Stokes, con i modelli di turbolenza e con le prove sperimentali, esattamente come ieri.

La configurazione della dimostrazione è costruita apposta:

  • fluido tridimensionale continuo
  • forza esterna liscia scelta in modo particolare
  • un vortice che si concentra indefinitamente
  • energia totale finita e velocità che diverge

Una vela reale mette in gioco pareti, deformazione del tessuto, comprimibilità e scale molecolari. Molto prima di arrivare a una velocità infinita l’approssimazione del fluido come mezzo continuo smetterebbe di valere. È quello che OpenAI stessa descrive come un limite del modello continuo.

Le conseguenze sono quindi soprattutto teoriche. La viscosità non garantisce la regolarità in ogni situazione ammessa dall’enunciato. Si capisce meglio come un vortice si concentra e si allunga, e da lì potrebbero uscire criteri per riconoscere le zone problematiche di una simulazione e strategie di griglia adattiva. Resta che l’affidabilità universale dei simulatori non si può appoggiare a un teorema di regolarità globale, perché quel teorema non c’è. Per progettare una vela oggi le equazioni, i software e le procedure di prova restano quelli di prima, e la costruzione non descrive il flusso con parete solida che è il caso della vela. Quanta sottolinea che non sono previste conseguenze pratiche immediate.

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.

Charles Fefferman, autore dell’enunciato ufficiale, a Quanta Magazine si dice felice che il problema sia stato risolto e dice anche di chi è il merito: «the heroes of the story […] are Córdoba and Martínez-Zoroa», i due matematici da cui viene la tecnica che sta sotto queste costruzioni.

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.

Previsioni e carte di pressione della sera prima indicano che vento troverò, le vele lo trasformeranno in forza propulsiva e l’opera viva taglierà l’acqua per miglia. Tre curve delle stesse equazioni, di cui adesso conosciamo un po’ meglio i bordi. E comunque, si esce lo stesso e si mettono a segno le vele.

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