I titoli hanno annunciato la soluzione di un problema da un milione di dollari, uno dei Millennium Prize Problems del Clay Mathematics Institute.

I risultati raccontano una storia più precisa. La regolarità delle equazioni di Navier–Stokes resta aperta nel caso senza forzante. Alcuni gruppi hanno però dimostrato che una singolarità può nascere in condizioni molto controllate. OpenAI ha anche pubblicato un teorema separato sul blowup di Euler senza forzante; un gruppo indipendente ha trovato un candidato numerico per una singolarità stabile nello stesso regime.

Questi risultati delimitano meglio ciò che sappiamo.

Le equazioni#

Le equazioni di Euler descrivono un fluido ideale privo di viscosità. Le equazioni di Navier–Stokes aggiungono la viscosità, che dissipa energia e rende il modello più vicino a un fluido reale.

Entrambe descrivono l’evoluzione di un campo di velocità u. Gli analisti chiedono se un campo iniziale liscio mantenga lisce tutte le sue derivate oppure sviluppi una singolarità in tempo finito. In quel caso una velocità, una vorticità o una derivata diventerebbe illimitata.

La singolarità non indica una particella che acquista una velocità infinita. Indica che il campo continuo usato dall’equazione perde regolarità in un punto e in un istante: fino a quel momento la soluzione resta liscia, poi una sua norma o una sua derivata diverge. Il termine blowup descrive proprio questa crescita senza limite. In un fluido reale, la descrizione molecolare dovrebbe subentrare prima di quel limite matematico.

La formulazione di Fefferman per il problema del Clay distingue quattro casi:

Caso Dominio Forzante esterna
A spazio tridimensionale assente
B dominio periodico assente
C spazio tridimensionale presente e liscia
D dominio periodico presente e liscia

Dimostrare una delle quattro alternative soddisfa i criteri matematici del premio. I casi C e D permettono di costruire una soluzione singolare e di definire la forzante come residuo dell’equazione. Nei casi A e B la forzante deve essere zero.

Il risultato di OpenAI#

Il paper Finite Time Blowup for Navier–Stokes costruisce, per ogni viscosità positiva, una forza liscia e compatta, dati iniziali nulli e una soluzione liscia fino a t = 1.

Avvicinandosi a quel tempo, la velocità diverge in norma L∞. L’energia L² resta limitata e la singolarità si concentra nell’origine. La compattezza del supporto produce anche la versione periodica del risultato.

Il paper realizza le alternative C e D di Fefferman. La forza esterna fa parte della costruzione. Il lavoro non stabilisce che le Navier–Stokes senza forzante sviluppino una singolarità e non stabilisce che restino regolari. A e B restano aperte.

La frase «OpenAI ha risolto Navier–Stokes» richiede quindi una specifica: OpenAI ha dimostrato il caso forzato previsto da C e D. Il comunicato usa «Navier–Stokes» senza mettere in primo piano questa distinzione.

La dimostrazione è pubblica e formalizzata in Lean, ma non ha ancora ricevuto una revisione matematica indipendente. La verifica formale certifica che l’enunciato segue dalle sue ipotesi; l’accettazione da parte della comunità è un passaggio separato.

OpenAI ha pubblicato anche Finite Time Blowup for the Euler Equation, che dimostra un blowup per Euler tridimensionale non forzata, con dato iniziale liscio e supporto compatto. È un risultato diverso dal paper Navier–Stokes e non risolve il problema Clay.

La cascata di amplificazioni#

Il risultato OpenAI e quello di Alpöge–Buckmaster seguono una strategia sviluppata nel programma matematico di Diego Córdoba e Luis Martínez-Zoroa.

I ricercatori partono da una soluzione approssimata e aggiungono una correzione ad alta frequenza. La correzione deve crescere abbastanza da distruggere la regolarità della soluzione. Il residuo deve restare abbastanza piccolo da poter essere assorbito in una forzante liscia.

Ogni strato viene trasportato dal flusso precedente e prepara quello successivo. La frequenza cresce a ogni passaggio. La soluzione accumula l’amplificazione; la forzante accumula correzioni più piccole. Nel limite la prima sviluppa una singolarità e la seconda resta liscia.

La difficoltà sta nel controllare tutte le derivate del residuo. Una simulazione può mostrare un profilo molto ripido. Questa costruzione deve dimostrare che la successione di profili converge nel modo richiesto dall’equazione.

Il risultato di Alpöge e Buckmaster#

Il paper Blowup for the Euler Equations with Smooth Forcing studia le Euler incomprimibili tridimensionali.

Gli autori costruiscono una soluzione con dato iniziale liscio e una forza liscia in spazio e tempo, supportata in un toro solido. In tempo finito divergono il gradiente della circolazione, la vorticità e l’integrale temporale della norma della vorticità. Restano limitate la circolazione e le componenti meridionali della velocità.

Il risultato riguarda Euler forzata. Non riguarda Euler libera e non trasferisce automaticamente il blowup alle Navier–Stokes, dove compare il termine viscoso.

Il lavoro chiude un passaggio tecnico del programma di Córdoba e Martínez-Zoroa: una successione di approssimazioni può produrre una singolarità mantenendo liscia la forza complessiva.

Il candidato PINN indipendente#

Il gruppo indipendente di Adarsh Ganeshram, Valentin Duruisseaux e Anima Anandkumar cerca una singolarità stabile delle Euler tridimensionali su R³, senza bordo e senza forzante. Il manoscritto Stable Singularity of the Euler Equations on R3 without forcing descrive il candidato. Il lavoro segue una strada diversa dal teorema OpenAI su Euler non forzata.

Una physics-informed neural network, o PINN, riceve l’equazione differenziale e cerca una funzione che la soddisfi. Il gruppo ha usato la PINN per individuare un profilo autosimile. Ha poi trasformato il profilo in spline e ha usato aritmetica d’intervallo per controllare residui e derivate.

Il residuo numerico arriva a circa 10^-10. Il candidato mostra il comportamento di damping richiesto in gran parte del dominio e una strategia per la regione fuori asse, dove le stime diventano più difficili.

Il manoscritto separa i risultati ottenuti dalle ipotesi ancora da chiudere. Gli autori hanno formalizzato la riduzione delle equazioni, la linearizzazione, la modulazione e teoremi condizionali di stabilità. Non hanno ancora dimostrato che esista un profilo esatto vicino alla spline né che tutte le costanti abbiano il margine positivo necessario.

Il lavoro offre quindi una forte evidenza e un quadro di prova computer-assisted. Il blowup incondizionato di Euler libera resta da dimostrare.

Quattro conseguenze#

Una forzante liscia può accompagnare il blowup#

I risultati di OpenAI e Alpöge–Buckmaster costruiscono singolarità con forzanti lisce in spazio e tempo. La forza non presenta irregolarità artificiali che nascondano il problema.

Questo risponde alla domanda matematica dei casi C e D. Non mostra che un fluido reale produca spontaneamente lo stesso comportamento.

Euler libera è il fronte più vicino#

OpenAI ha dimostrato un blowup per Euler tridimensionale non forzata con dato iniziale liscio e supporto compatto. Il candidato PINN cerca una soluzione stabile nello stesso ambiente, ma non ha ancora raggiunto un teorema incondizionato.

Il passaggio da Euler a Navier–Stokes resta aperto. La viscosità modifica il bilancio alle piccole scale; un meccanismo valido per Euler non si trasferisce per continuità.

Le equazioni descrivono un limite del continuo#

Le equazioni dei fluidi funzionano perché, alle scale macroscopiche, i dettagli molecolari possono essere ignorati. Vicino a una singolarità questa approssimazione può smettere di valere.

La teoria di campo efficace dei fluidi offre una prospettiva complementare. Le simmetrie del sistema permettono di derivare le equazioni di Euler e Navier–Stokes dopo aver eliminato i dettagli microscopici irrilevanti alle grandi scale. Una singolarità matematica può quindi segnare il limite del modello continuo, senza implicare una velocità infinita in un fluido reale.

Il fluido reale è fatto di molecole. Prima di raggiungere l’infinito delle equazioni, il modello dovrebbe lasciare spazio a una descrizione microscopica.

L’AI accelera la ricerca, la verifica decide#

I tre lavori usano forme diverse di AI:

  • OpenAI coordina migliaia di agenti che esplorano e assemblano dimostrazioni;
  • Alpöge e Buckmaster usano LLM per accelerare una strategia analitica già presente nella letteratura;
  • Ganeshram, Duruisseaux e Anandkumar usano una rete non generativa per cercare un profilo di soluzione.

La verifica resta il passaggio decisivo. Lean certifica che un enunciato segue dalle sue ipotesi. Non certifica che l’enunciato rappresenti la domanda che la comunità voleva porre, né sostituisce la comprensione del risultato.

Nel caso Navier–Stokes, la correttezza matematica e la rilevanza matematica seguono percorsi diversi. I sistemi formali possono certificare la prima. La seconda richiede lettura, confronto con la letteratura e lavoro umano di interpretazione.

Il punto aperto#

I ricercatori hanno costruito configurazioni singolari con controllo rigoroso anche in presenza di una forzante liscia. OpenAI ha dimostrato un blowup per Euler tridimensionale non forzata; un gruppo indipendente cerca invece un profilo di singolarità stabile con una PINN, ma non ha ancora chiuso la prova. I risultati mostrano come una strategia di amplificazione iterata possa trasformare approssimazioni successive in teoremi formalizzati.

Resta aperta la domanda per Navier–Stokes:

Una soluzione tridimensionale liscia, con dati iniziali lisci e senza forzante, può sviluppare una singolarità in tempo finito?

La ricerca ha chiarito la strada verso una risposta, non la risposta stessa.

Fonti#