Progressi sul problema di Navier-Stokes

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.

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.

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.

Cinque risultati che hanno rimodellato il campo:

• 1934, Leray: Dimostrò che esistono soluzioni deboli globali nel tempo per qualunque dato iniziale ragionevole. Qualcosa persiste per sempre. Ma resta liscio? Questa è la domanda a cui Leray non riuscì a rispondere, e dopo novant'anni non ci riesce ancora nessun altro.
• 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.
• 2022, Albritton, Brué, Colombo: Le soluzioni deboli di Leray-Hopf non sono uniche quando si ammette una forza esterna. Cattiva notizia: la classe di soluzioni più debole non è addomesticata come speravamo, e questo costringe a ripensare che cosa significhi persino "soluzione" a questo livello.

Settembre 2026: OpenAI annuncia blowup 3D con forzante liscia (Clay C/D); Clay riconosce un’apparente soluzione. Valutazione e premio restano distinti.

• 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 (J Math Pures Appl).
• 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).
• 2022, Albritton–Brué–Colombo: Non unicità delle soluzioni di Leray-Hopf per Navier-Stokes 3D forzata, costruita tramite soluzioni autosimili instabili (Ann of Math).

Settembre 2026: OpenAI annuncia blowup 3D con forzante liscia (Clay C/D); Clay riconosce un’apparente soluzione. Valutazione e premio restano distinti.

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 (Ladyzhenskaya 1959), 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.

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.

2026-09-12 (JST).

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.

2026-09-12 (JST).