Navier-Stokes è risolto? Aggiornamento di settembre 2026

Stato delle fonti riesaminato il 2026-09-12 (JST). L’8 settembre OpenAI ha annunciato un blowup in tempo finito per Navier–Stokes incomprimibile 3D con forzante liscia, dichiarando di risolvere le alternative C e D di Clay, con un manoscritto e una formalizzazione Lean. L’11 settembre Clay ha affermato che il problema «sembra essere stato risolto»; la valutazione e l’attribuzione dei meriti procederanno deliberatamente senza fretta. Non si tratta dell’assegnazione del premio né di una nostra verifica della dimostrazione.

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

La regolarità globale di Navier–Stokes 3D senza forzante resta aperta: la costruzione forzata annunciata non la risolve. Nella discussione tecnica seguente, le questioni aperte di regolarità e unicità riguardano il sistema senza forzante, salvo esplicita indicazione di un altro contesto.

Vedi anche: esistenza e regolarità per Navier-Stokes

La forzante è un apporto esterno nell’equazione della velocità, non una forza che diventa infinita. La costruzione annunciata parte da uno stato di quiete e usa una forza liscia. L’energia cinetica totale limitata non esclude la concentrazione della velocità su scale sempre più piccole. È un modello matematico, non una previsione di velocità infinita nell’acqua reale. La dichiarazione di Clay non assegna il premio.

Stato delle fonti riesaminato il 2026-09-12 (JST). L’8 settembre OpenAI ha annunciato un blowup in tempo finito per Navier–Stokes incomprimibile 3D con forzante liscia, dichiarando di risolvere le alternative C e D di Clay, con un manoscritto e una formalizzazione Lean. L’11 settembre Clay ha affermato che il problema «sembra essere stato risolto»; la valutazione e l’attribuzione dei meriti procederanno deliberatamente senza fretta. Non si tratta dell’assegnazione del premio né di una nostra verifica della dimostrazione.

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

La regolarità globale di Navier–Stokes 3D senza forzante resta aperta: la costruzione forzata annunciata non la risolve. Nella discussione tecnica seguente, le questioni aperte di regolarità e unicità riguardano il sistema senza forzante, salvo esplicita indicazione di un altro contesto.

Il manoscritto afferma, per ogni viscosità $\nu>0$, l’esistenza di una forzante liscia a supporto compatto $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ e velocità iniziale $u_0=0$, con soluzione liscia per $0\leq t<1$, velocità uniformemente limitata in $L^2$, ma $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$. La forza resta liscia anche al tempo singolare. Il teorema 1.1 dichiara il blowup nello spazio intero, il corollario 10.6 quello periodico. Riportiamo gli enunciati, senza verificare la dimostrazione. OpenAI — Navier–Stokes (PDF), 1.1 / 10.6.

Precisamente: dati iniziali lisci e a divergenza nulla $u_0 \in C^\infty(\mathbb{R}^3)$ con decadimento opportuno (oppure su $\mathbb{T}^3$), non si sa se esista una soluzione liscia unica $(u, p)$ per ogni $t \geq 0$ con $u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$. Non è stato costruito alcun controesempio.

Non è buio totale. I matematici hanno lavorato su questo problema per oltre un secolo, e hanno costruito un quadro sorprendentemente dettagliato di ciò che si sa e di ciò che non si sa:

• Esistono soluzioni deboli (Leray, 1934). Se si indebolisce la nozione di soluzione, esistono soluzioni globali. Ma resta aperto se rimangano lisce e uniche.
• Il caso 2D è risolto (Ladyzhenskaya, 1969). Due dimensioni? Fatto. Soluzioni lisce esistono per ogni tempo, e la difficoltà è interamente, ostinatamente specifica del 3D.
• Le singolarità sono rare (Caffarelli-Kohn-Nirenberg, 1982). Anche se in 3D esistono singolarità, sono confinate in un insieme di misura di Hausdorff parabolica unidimensionale nulla, estremamente piccolo nella geometria naturale dell'equazione.
• Esistono soluzioni in tempo breve. Lisce? Sì, almeno per poco. La domanda: possono sempre essere continuate per sempre?

Dunque il divario è stretto ma profondo. Sappiamo che le soluzioni partono lisce e sappiamo che le soluzioni deboli persistono globalmente, eppure nessuno riesce a dimostrare che la regolarità sopravviva per ogni tempo in tre dimensioni.

Risultati fondamentali stabiliti:

• Leray (1934): Esistenza globale di soluzioni deboli (distribuzionali) che soddisfano la disuguaglianza dell'energia $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$. Unicità? Aperta.
• Ladyzhenskaya (1969): Per il problema incomprimibile in 2D, dati lisci a divergenza nulla danno una soluzione liscia globale unica.
• Caffarelli-Kohn-Nirenberg (1982): Regolarità parziale per soluzioni deboli adatte: l'insieme singolare ha misura di Hausdorff parabolica unidimensionale nulla, $\mathcal{P}^1(S) = 0$.
• Buona posizione locale: Per $u_0 \in H^s(\mathbb{R}^3)$ con $s > 3/2$, esiste una soluzione liscia unica su $[0, T^*)$; ciò vale anche nello spazio critico rispetto allo scaling $\dot{H}^{1/2}(\mathbb{R}^3)$ (Fujita-Kato, 1964), con estensione a spazi critici strettamente più grandi, incluso $BMO^{-1}$ (Koch-Tataru, 2001). Vale $T^* = \infty$?

Ecco il divario: sappiamo che soluzioni deboli esistono globalmente, e sappiamo che soluzioni forti esistono localmente con piena unicità. Se la soluzione forte possa sempre essere estesa a ogni tempo è la domanda che resta del tutto aperta.

La stima energetica qui mostrata vale senza forzante. In presenza di forzante, il secondo membro include anche il termine di lavoro $2\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

Questa è una revisione delle dichiarazioni pubbliche, non una verifica indipendente della dimostrazione. Il repository indica la revisione come «self-assessed» (autovalutata); ciò non dimostra che nessun altro l’abbia controllata. Manoscritto e Lean sono materiali da esaminare, non sostituti del controllo della corrispondenza degli enunciati. Valutazione e premio Clay sono distinti dal risultato annunciato.

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.

Questa è una revisione delle dichiarazioni pubbliche, non una verifica indipendente della dimostrazione. Il repository indica la revisione come «self-assessed» (autovalutata); ciò non dimostra che nessun altro l’abbia controllata. Manoscritto e Lean sono materiali da esaminare, non sostituti del controllo della corrispondenza degli enunciati. Valutazione e premio Clay sono distinti dal risultato annunciato.

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.

Clay richiede la dimostrazione di una delle quattro alternative, non di tutte: (A) esistenza globale liscia senza forzante in R³; (B) esistenza globale liscia senza forzante sul toro periodico T³; (C) perdita di regolarità in R³ con forzanti lisce ammissibili consentite; (D) perdita di regolarità periodica con forzanti lisce ammissibili consentite. A/B riguardano tutti i dati iniziali ammissibili; C/D richiedono un controesempio ammissibile. Il blowup forzato non confuta A/B.

Le clausole seguenti riassumono A e C nello spazio intero, non tutte le ipotesi ufficiali. In A, $f=0$. In C, tutte le derivate spaziali e temporali della forzante devono soddisfare il decadimento richiesto da Clay; la soluzione globale esclusa appartiene alla classe liscia a energia limitata dell’enunciato ufficiale. Le alternative periodiche sono B e D.

Clay richiede la dimostrazione di una delle quattro alternative, non di tutte: (A) esistenza globale liscia senza forzante in R³; (B) esistenza globale liscia senza forzante sul toro periodico T³; (C) perdita di regolarità in R³ con forzanti lisce ammissibili consentite; (D) perdita di regolarità periodica con forzanti lisce ammissibili consentite. A/B riguardano tutti i dati iniziali ammissibili; C/D richiedono un controesempio ammissibile. Il blowup forzato non confuta A/B.

1. (A) Esistenza e regolarità: Per ogni $u_0 \in C^\infty(\mathbb{R}^3)$ con $\nabla \cdot u_0 = 0$ e $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ per ogni $\alpha, K$, dimostrare l'esistenza di $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ che soddisfa le equazioni, con $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ per ogni $t \geq 0$.
2. (C) Breakdown: Esibire $u_0 \in C^\infty(\mathbb{R}^3)$ (a divergenza nulla e con il decadimento prescritto) e $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ che soddisfi la condizione (5) sul decadimento delle derivate della forza, tali che nessuna $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ con i dati iniziali specificati ed energia cinetica uniformemente limitata soddisfi il sistema.

• 1822: Navier deriva le equazioni da considerazioni molecolari.
• 1845: Stokes dà loro la forma moderna.
• 1934: Leray dimostra che soluzioni deboli esistono globalmente. Enorme.
• 1969: Ladyzhenskaya risolve il 2D.
• 1982: Caffarelli, Kohn e Nirenberg dimostrano la regolarità parziale, stabilendo che eventuali singolarità devono essere straordinariamente rare, con misura di Hausdorff parabolica unidimensionale nulla.
• 1984: Beale, Kato e Majda dimostrano per le equazioni di Euler 3D che il breakdown di una soluzione liscia forza la divergenza dell'integrale temporale della vorticità. Criteri di continuazione collegati si applicano anche a Navier-Stokes.
• 2000: Clay lo nomina Problema del Millennio. Un milione di dollari.
• 2014: Tao costruisce il blowup per una versione mediata delle equazioni (preprint; pubblicato nel 2016), mostrando che non esiste un ostacolo puramente strutturale alla formazione di singolarità.
• Settembre 2026: OpenAI annuncia blowup 3D con forzante liscia (Clay C/D); Clay riconosce un’apparente soluzione. Valutazione e premio restano distinti.

• 1822: Navier. Sforzo molecolare.
• 1845: Stokes. Continuo.
• 1934: Leray. Il risultato fondazionale: soluzioni deboli globali in $L^2$, il proiettore di Leray e la disuguaglianza di energia che avrebbero plasmato un intero secolo di analisi matematica dei fluidi e definito ogni approccio successivo.
• 1951: Hopf estende il risultato a domini limitati.
• 1962: Serrin stabilisce la regolarità condizionata: liscia se $u \in L^p_t L^q_x$ con $2/p + 3/q \leq 1$ e $q > 3$; il caso di endpoint $L^\infty_t L^3_x$ fu risolto da Escauriaza-Seregin-Šverák nel 2003.
• 1969: Ladyzhenskaya. 2D risolto.
• 1982: CKN. $\mathcal{P}^1(S) = 0$.
• 1984: Beale-Kato-Majda (per Euler 3D). Se $T^* < \infty$, allora $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$. Criteri di continuazione analoghi valgono per Navier-Stokes.
• 2000: Clay.
• 2014: Tao. Blowup per Navier-Stokes mediato (JAMS 2016), mostrando che qualunque dimostrazione di regolarità per le equazioni vere deve sfruttare caratteristiche più fini della non linearità di Navier-Stokes rispetto a quelle preservate dal modello mediato.
• Settembre 2026: OpenAI annuncia blowup 3D con forzante liscia (Clay C/D); Clay riconosce un’apparente soluzione. Valutazione e premio restano distinti.

Parte di Il problema.

Approfondisci: perché il problema è così difficile?, su quali sottoproblemi stanno lavorando i matematici, e quali approcci hanno tentato?

L'enunciato formale di Clay si trova nella pagina del Problema del Millennio, e se vuoi capire a quale versione delle equazioni questo problema si riferisca davvero, vedi Navier-Stokes incomprimibile vs. comprimibile.

Parte di Il problema.

Dettagli: formulazione di Clay. Ostacoli: Perché è difficile.

Per il quadro completo dei risultati parziali, delle sottoquestioni aperte e di ogni strategia tentata nell'ultimo secolo di lavoro su questo problema, vedi Sottoproblemi e Approcci. Quale formulazione studia il problema di Clay: Incomprimibile vs. comprimibile.