Progressi sul problema di Navier-Stokes

In nove decenni i matematici hanno dimostrato che le soluzioni deboli esistono per tutti i tempi (Leray), che eventuali singolarità devono essere estremamente piccole (Caffarelli–Kohn–Nirenberg), quali grandezze devono esplodere in una prima singolarità (Beale–Kato–Majda e criteri successivi) e che energia e scaling da soli non possono escludere il blowup (Tao). A settembre 2026 OpenAI ha annunciato una dimostrazione di blowup in tempo finito per le equazioni 3D con una forzante esterna liscia, le alternative di perdita di regolarità di Clay, e Clay ha affermato che il problema «sembra essere stato risolto». Resta aperto se i flussi senza forzante esterna restino sempre lisci.

Questa pagina segue quel percorso: le tappe fondamentali, poi il capitolo 2026 e il suo legame con esse. Per lo stato datato in sé, si veda Navier-Stokes è risolto?

Fonti primarie: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciato ufficiale di Clay.

In nove decenni i matematici hanno dimostrato che le soluzioni deboli esistono per tutti i tempi (Leray), che eventuali singolarità devono essere estremamente piccole (Caffarelli–Kohn–Nirenberg), quali grandezze devono esplodere in una prima singolarità (Beale–Kato–Majda e criteri successivi) e che energia e scaling da soli non possono escludere il blowup (Tao). A settembre 2026 OpenAI ha annunciato una dimostrazione di blowup in tempo finito per le equazioni 3D con una forzante esterna liscia, le alternative di perdita di regolarità di Clay, e Clay ha affermato che il problema «sembra essere stato risolto». Resta aperto se i flussi senza forzante esterna restino sempre lisci.

Di seguito: le tappe fondamentali nella loro forma precisa, poi la perdita di regolarità forzata rivendicata (Teorema 1.1 e Corollario 10.6 del manoscritto) letta alla loro luce. Stato datato: Navier-Stokes è risolto?

Fonti primarie: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciato ufficiale di Clay.

I risultati che hanno ridisegnato il campo:

• 1934, Leray: ha dimostrato che esistono soluzioni deboli globali nel tempo per qualsiasi dato iniziale ragionevole. Qualcosa persiste per sempre. Ma resta liscio? È la domanda a cui Leray non riuscì a rispondere; per i flussi senza forzante è ancora aperta.
• 1982, Caffarelli, Kohn, Nirenberg: L'insieme delle possibili singolarità è estremamente piccolo: nella geometria parabolica naturale per queste equazioni, ha misura unidimensionale nulla. Infinitesimale. Se si verifica blowup, è raro oltre ogni immaginazione.
• 1984, Beale, Kato, Majda: Risultato enorme. Una soluzione liscia può rompersi solo se la vorticità esplode, il che ha dato all'intero campo un obiettivo preciso: controllare la norma di vorticità rilevante abbastanza fortemente, e una soluzione liscia non può rompersi in quell'istante.
• 2016, Tao: Costruì blowup per una Navier-Stokes mediata che condivide le stesse proprietà di energia e di scaling del sistema reale; ciò significa che una dimostrazione per l'equazione reale deve usare una struttura più fine delle sole stime di energia e dello scaling. Una barriera. Non una soluzione.
• 2019, Buckmaster, Vicol: senza alcuna forzante, le soluzioni deboli distribuzionali con energia finita possono non essere uniche. Queste soluzioni stanno al di fuori della classe di Leray–Hopf (Annals 2019).
• 2022, Albritton, Brué, Colombo: le soluzioni deboli di Leray-Hopf non sono uniche se si ammette una forzante esterna. La classe definita dalla disuguaglianza dell’energia non è docile come si sperava, e ciò ha reso più acuta la domanda su quali soluzioni deboli abbiano significato fisico.

La sezione successiva tratta del rapporto fra questi risultati e l’annuncio del 2026.

• 1934, Leray: Esistenza globale di soluzioni deboli in $L^2$ per dati a divergenza nulla $u_0 \in L^2(\mathbb{R}^3)$, che soddisfano la disuguaglianza di energia (Acta Mathematica).
• 1982, Caffarelli–Kohn–Nirenberg (CKN): Regolarità parziale; $\mathcal{P}^1(\mathrm{sing}\, u)=0$, cioè la misura di Hausdorff parabolica unidimensionale dell'insieme singolare si annulla. È ancora il risultato generale più forte di cui disponiamo (Comm Pure Appl Math).
• 1984, Beale–Kato–Majda (BKM): Il criterio di continuazione che ha rimodellato il campo: una soluzione liscia su $[0,T)$ si estende oltre $T$ se e solo se $\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty$, riducendo la regolarità al controllo della vorticità. Originariamente per Euler; adattato a Navier-Stokes (Comm Math Phys).
• 2016, Tao: Blowup in tempo finito per un'equazione di Navier-Stokes mediata che obbedisce alle stesse proprietà di energia e di scaling del sistema vero, il che significa che qualunque dimostrazione di regolarità deve sfruttare una struttura più fine (J Amer Math Soc).
• 2019, Buckmaster–Vicol: non unicità di soluzioni deboli distribuzionali con energia cinetica finita per le equazioni senza forzante, tramite integrazione convessa; le soluzioni non soddisfano la disuguaglianza dell’energia e quindi stanno al di fuori della classe di Leray–Hopf (Annals 2019).
• 2022, Albritton–Brué–Colombo: Non unicità delle soluzioni di Leray-Hopf per Navier-Stokes 3D forzata, costruita tramite soluzioni autosimili instabili (Ann of Math).

La sezione successiva legge l’affermazione del 2026 alla luce di questi risultati.

L’8 settembre 2026 OpenAI ha annunciato una dimostrazione che, per ogni viscosità positiva, una soluzione liscia che parte da fluido in quiete ed è sospinta da una forzante esterna liscia a supporto compatto sviluppa una velocità illimitata in un tempo finito, mentre la sua energia cinetica resta limitata. Afferma che ciò stabilisce l’alternativa C di Clay e il suo analogo periodico D. L’11 settembre Clay ha affermato che il problema «sembra essere stato risolto», con una valutazione deliberatamente senza fretta. Dettagli e fonti.

Come si rapporta ai lavori precedenti. Questi punti riguardano coerenza e contesto; nessuno di essi verifica la dimostrazione.

• La domanda di Leray. Leray (1934) introdusse le soluzioni deboli («turbolente») lasciando aperto se le soluzioni lisce possano perdere regolarità, e suggerì uno scenario di blowup autosimilare. Quello scenario specifico fu poi escluso sotto naturali condizioni di integrabilità (Nečas–Růžička–Šverák, 1996; Tsai, 1998). L’affermazione del 2026 risponde alla domanda sulla perdita di regolarità in un contesto con forzante; per i flussi senza forzante resta aperta.
• Regolarità parziale. Caffarelli–Kohn–Nirenberg limita quanto possa essere grande un insieme singolare; non ha mai escluso le singolarità. Una costruzione di blowup non è quindi in conflitto con esso.
• Criteri di continuazione. I criteri di tipo Beale–Kato–Majda e di Prodi–Serrin–Ladyzhenskaya dicono quali grandezze devono diventare illimitate in un primo tempo singolare. L’enunciato di Clay osserva che per Navier–Stokes la velocità diventa illimitata vicino a un tempo di blowup finito, e il teorema annunciato è formulato in questa forma: la velocità massima è illimitata all’avvicinarsi del tempo singolare, mentre l’energia resta limitata.
• La barriera di Tao. L’equazione mediata di Tao ha mostrato che una dimostrazione di regolarità deve sfruttare una struttura della vera non linearità più fine di energia e scaling. La costruzione annunciata lavora con le equazioni vere, ma con forzante, quindi non ci dice se la dinamica senza forzante abbia una struttura che impedisca il blowup.
• Non unicità. Buckmaster–Vicol (senza forzante, fuori dalla classe di Leray–Hopf) e Albritton–Brué–Colombo (Leray–Hopf, con forzante) riguardano l’unicità delle soluzioni deboli. L’affermazione del 2026 riguarda la perdita di regolarità di una soluzione che parte liscia: una questione distinta.
• Euler. OpenAI ha annunciato anche blowup per Euler 3D senza forzante da dati lisci. Quel risultato inviscido non dimostra blowup per Navier–Stokes viscoso senza forzante.

Che cosa non è cambiato: la questione della regolarità globale senza forzante (A e B di Clay), l’unicità delle soluzioni di Leray–Hopf senza forzante e i programmi sulla regolarità parziale e sui criteri di continuazione restano direzioni di ricerca aperte. Si vedano Sottoproblemi e Approcci.

L’affermazione. Per ogni $\nu>0$ il manoscritto costruisce $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ e $(u,p)$ lisce su $\mathbb{R}^3\times[0,1)$ con $u(\cdot,0)=0$, $\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$ e $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ (Teorema 1.1, alternativa C); il Corollario 10.6 fornisce il caso periodico (alternativa D). Clay (11 settembre): «sembra essere stato risolto». Stato e fonti.

• Leray. L’ansatz autosimilare di Leray $u(x,t)=\lambda(t)U(\lambda(t)x)$ con $\lambda(t)=(2a(T-t))^{-1/2}$ è stato escluso per $U\in L^3(\mathbb{R}^3)$ da Nečas–Růžička–Šverák (1996) e sotto limitazioni locali dell’energia da Tsai (1998). Questi risultati vincolano un profilo di blowup; non escludono le singolarità in generale.
• CKN. $\mathcal{P}^1(S)=0$ limita la dimensione dell’insieme singolare delle soluzioni deboli adatte; è compatibile con punti singolari isolati, quindi non è in conflitto con una costruzione di blowup.
• Criteri. Beale–Kato–Majda ($\int_0^{T^*}\|\omega\|_{L^\infty}\,dt=\infty$), Prodi–Serrin–Ladyzhenskaya ($u\notin L^p_tL^q_x$, $2/p+3/q\le1$, $q>3$) ed Escauriaza–Seregin–Šverák descrivono il comportamento necessario in un primo tempo singolare. L’enunciato di Fefferman registra che per $\nu>0$ la velocità diventa illimitata vicino a un tempo di blowup finito; il Teorema 1.1 è formulato come $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ con norma $L^2$ limitata.
• Tao. Il modello mediato mostra che identità dell’energia e scaling non impediscono da soli il blowup. La costruzione forzata usa la vera non linearità; la questione se la vera dinamica senza forzante ammetta un meccanismo di regolarità che vada oltre energia e scaling non ne è toccata.
• Non unicità. Buckmaster–Vicol (2019): senza forzante, distribuzionali, fuori da Leray–Hopf. Albritton–Brué–Colombo (2022): Leray–Hopf, con forzante. L’affermazione del 2026 è un enunciato di regolarità (perdita di regolarità) per una soluzione classica, non un enunciato di unicità.
• Euler. OpenAI ha annunciato anche blowup per Euler 3D senza forzante da dati lisci. Quel risultato inviscido non dimostra blowup per Navier–Stokes viscoso senza forzante.

Fra i problemi aperti che restano invariati: A/B ($f\equiv0$), l’unicità di Leray–Hopf per $f\equiv0$ e criteri di continuazione ottimali. Si vedano Sottoproblemi e Approcci.

Questa pagina è una mappa, non il territorio. Per i dettagli:

Per una trattazione dettagliata di specifiche direzioni di ricerca:

• Sottoproblemi: casi risolti e parzialmente risolti, inclusa la regolarità globale 2D, il caso assialsimmetrico senza swirl, risultati in spazi critici ($L^3$, $\dot{H}^{1/2}$, $BMO^{-1}$) e criteri di regolarità condizionale oltre BKM.
• Approcci: le principali strategie di dimostrazione oggetto di indagine attiva, inclusi metodi di energia ed enstrofia, decomposizione in profili, teoria delle soluzioni mild, Navier-Stokes stocastica, programmi di integrazione convessa e stime assistite dal calcolatore.

Fonti verificate il 2026-09-29 (JST). Questa pagina riassume la letteratura pubblicata e le dichiarazioni pubbliche; non è un esame indipendente della dimostrazione. Il repository indica lo stato della propria revisione come «self-assessed» (autovalutato); ciò non attesta una verifica indipendente né dimostra che nessun altro abbia controllato il lavoro. La release Lean e il manoscritto forniscono materiale da esaminare; non sostituiscono la verifica che gli enunciati formali corrispondano ai teoremi che si intende dimostrare.

Fonti 2026: Clay (2026-09-11) · OpenAI (2026-09-08) · Manoscritto (PDF) · Lean / GitHub.

Fonti verificate il 2026-09-29 (JST). Questa pagina riassume la letteratura pubblicata e le dichiarazioni pubbliche; non è un esame indipendente della dimostrazione. Il repository indica lo stato della propria revisione come «self-assessed» (autovalutato); ciò non attesta una verifica indipendente né dimostra che nessun altro abbia controllato il lavoro. La release Lean e il manoscritto forniscono materiale da esaminare; non sostituiscono la verifica che gli enunciati formali corrispondano ai teoremi che si intende dimostrare.

Fonti 2026: Clay (2026-09-11) · OpenAI (2026-09-08) · Manoscritto (PDF) · Lean / GitHub.