Ist Navier-Stokes gelöst? Stand September 2026

Quellenstand geprüft am 2026-09-12 (JST). Am 8. September kündigte OpenAI einen Blowup in endlicher Zeit für die inkompressiblen 3D-Navier–Stokes-Gleichungen mit glatter äußerer Kraft an und beanspruchte damit die Lösung der Clay-Alternativen C und D; ein Manuskript und eine Lean-Formalisierung wurden veröffentlicht. Am 11. September erklärte Clay, das Problem sei „offenbar gelöst“; Bewertung und Zuordnung der Verdienste erfolgten bewusst ohne Eile. Dies ist weder eine Preisvergabe noch unsere eigene Überprüfung des Beweises.

Primärquellen: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Offizielle Clay-Problemstellung.

Die globale Regularität der ungetriebenen 3D-Navier–Stokes-Gleichungen bleibt offen: Die angekündigte Konstruktion mit äußerer Kraft entscheidet sie nicht. In der folgenden technischen Darstellung beziehen sich offene Regularitäts- und Eindeutigkeitsfragen auf das System ohne äußere Kraft, sofern kein anderer Rahmen ausdrücklich genannt wird.

Siehe auch: Existenz und Glattheit der Navier-Stokes-Gleichungen

Eine äußere Kraft ist ein zusätzlicher Antrieb in der Geschwindigkeitsgleichung, keine unendlich werdende Kraft. Die angekündigte Konstruktion beginnt in Ruhe und verwendet eine glatte Kraft. Beschränkte Gesamtenergie schließt eine Konzentration der Geschwindigkeit auf immer kleinere Skalen nicht aus. Dies betrifft ein mathematisches Modell, keine Vorhersage unendlicher Geschwindigkeit in realem Wasser. Clays Erklärung vergibt keinen Preis.

Quellenstand geprüft am 2026-09-12 (JST). Am 8. September kündigte OpenAI einen Blowup in endlicher Zeit für die inkompressiblen 3D-Navier–Stokes-Gleichungen mit glatter äußerer Kraft an und beanspruchte damit die Lösung der Clay-Alternativen C und D; ein Manuskript und eine Lean-Formalisierung wurden veröffentlicht. Am 11. September erklärte Clay, das Problem sei „offenbar gelöst“; Bewertung und Zuordnung der Verdienste erfolgten bewusst ohne Eile. Dies ist weder eine Preisvergabe noch unsere eigene Überprüfung des Beweises.

Primärquellen: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Offizielle Clay-Problemstellung.

Die globale Regularität der ungetriebenen 3D-Navier–Stokes-Gleichungen bleibt offen: Die angekündigte Konstruktion mit äußerer Kraft entscheidet sie nicht. In der folgenden technischen Darstellung beziehen sich offene Regularitäts- und Eindeutigkeitsfragen auf das System ohne äußere Kraft, sofern kein anderer Rahmen ausdrücklich genannt wird.

Das Manuskript behauptet für jede Viskosität $\nu>0$ eine glatte, kompakt getragene Kraft $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ und Anfangsgeschwindigkeit $u_0=0$, mit glatter Lösung für $0\leq t<1$, gleichmäßig beschränkter Geschwindigkeit in $L^2$, aber $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$. Die Kraft bleibt am singulären Zeitpunkt glatt. Satz 1.1 beansprucht den Zusammenbruch im ganzen Raum, Korollar 10.6 den periodischen Zusammenbruch. Dies sind berichtete Aussagen, keine eigene Beweisprüfung. OpenAI — Navier–Stokes (PDF), 1.1 / 10.6.

Genauer: Gegeben glatte, divergenzfreie Anfangsdaten $u_0 \in C^\infty(\mathbb{R}^3)$ mit geeignetem Abfallverhalten (oder auf $\mathbb{T}^3$), ist unbekannt, ob eine eindeutige glatte Lösung $(u, p)$ für alle $t \geq 0$ mit $u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$ existiert. Es wurde kein Gegenbeispiel konstruiert.

Es ist nicht völlig dunkel. Mathematiker arbeiten seit über einem Jahrhundert daran und haben ein überraschend detailliertes Bild davon aufgebaut, was bekannt ist und was nicht:

• Schwache Lösungen existieren (Leray, 1934). Wenn man den Lösungsbegriff abschwächt, existieren globale Lösungen. Ob sie jedoch glatt und eindeutig bleiben, ist weiterhin offen.
• 2D ist gelöst (Ladyzhenskaya, 1969). Zwei Dimensionen? Erledigt. Glatte Lösungen existieren für alle Zeiten, und die Schwierigkeit ist vollständig und hartnäckig spezifisch für 3D.
• Singularitäten sind selten (Caffarelli-Kohn-Nirenberg, 1982). Selbst wenn Singularitäten in 3D existieren, sind sie auf eine Menge mit eindimensionalem Maß null beschränkt, also auf eine so dünne Menge, dass sie überhaupt keine Länge hat.
• Kurzzeitlösungen existieren. Glatt? Ja, zumindest für kurze Zeit. Die Frage lautet: Können sie immer für alle Zeiten fortgesetzt werden?

Die Lücke ist also schmal, aber tief. Wir wissen, dass Lösungen glatt starten, und wir wissen, dass schwache Lösungen global fortbestehen; dennoch kann niemand beweisen, dass die Glattheit in drei Dimensionen für alle Zeiten erhalten bleibt.

Wichtige etablierte Ergebnisse:

• Leray (1934): Globale Existenz schwacher (distributioneller) Lösungen, die die Energieungleichung erfüllen $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$. Eindeutigkeit? Offen.
• Ladyzhenskaya (1969): Für das inkompressible Problem in 2D liefern glatte divergenzfreie Daten eine eindeutige globale glatte Lösung.
• Caffarelli-Kohn-Nirenberg (1982): Partielle Regularität für geeignete schwache Lösungen: Die singuläre Menge hat verschwindendes eindimensionales parabolisches Hausdorff-Maß, $\mathcal{P}^1(S) = 0$.
• Lokale Wohlgestelltheit: Für $u_0 \in H^s(\mathbb{R}^3)$ mit $s > 3/2$, existiert eine eindeutige glatte Lösung auf $[0, T^*)$; dies gilt auch im skalierungskritischen Raum $\dot{H}^{1/2}(\mathbb{R}^3)$ (Fujita-Kato, 1964), mit Erweiterungen auf strikt größere kritische Räume einschließlich $BMO^{-1}$ (Koch-Tataru, 2001). Gilt $T^* = \infty$?

Hier liegt die Lücke: Wir wissen, dass schwache Lösungen global existieren, und wir wissen, dass starke Lösungen lokal mit vollständiger Eindeutigkeit existieren. Ob die starke Lösung immer auf alle Zeiten fortgesetzt werden kann, ist die Frage, die weiterhin weit offen bleibt.

Die hier angegebene Energieabschätzung gilt ohne äußere Kraft. Mit Kraft enthält die rechte Seite zusätzlich den Arbeitsterm $2\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

Dies ist eine Prüfung öffentlicher Quellenangaben, keine unabhängige Beweisprüfung. Das Repository bezeichnet seine Prüfung als „self-assessed“ (Selbsteinschätzung); daraus folgt nicht, dass niemand sonst den Beweis geprüft hat. Manuskript und Lean liefern Prüfmaterial, ersetzen aber nicht die Kontrolle der Übereinstimmung der Theoremaussagen. Clays Bewertung und Preisverfahren sind vom angekündigten Ergebnis zu unterscheiden.

OpenAI kündigte auch Blowup aus glatten Daten für die ungetriebenen 3D-Euler-Gleichungen an. Dieses reibungsfreie Ergebnis weist keinen Blowup für die viskosen Navier–Stokes-Gleichungen ohne äußere Kraft nach.

Dies ist eine Prüfung öffentlicher Quellenangaben, keine unabhängige Beweisprüfung. Das Repository bezeichnet seine Prüfung als „self-assessed“ (Selbsteinschätzung); daraus folgt nicht, dass niemand sonst den Beweis geprüft hat. Manuskript und Lean liefern Prüfmaterial, ersetzen aber nicht die Kontrolle der Übereinstimmung der Theoremaussagen. Clays Bewertung und Preisverfahren sind vom angekündigten Ergebnis zu unterscheiden.

OpenAI kündigte auch Blowup aus glatten Daten für die ungetriebenen 3D-Euler-Gleichungen an. Dieses reibungsfreie Ergebnis weist keinen Blowup für die viskosen Navier–Stokes-Gleichungen ohne äußere Kraft nach.

Clay verlangt einen Beweis für eine von vier Alternativen, nicht für alle vier: (A) globale glatte Existenz ohne äußere Kraft auf R³; (B) globale glatte Existenz ohne äußere Kraft auf dem periodischen Torus T³; (C) Zusammenbruch auf R³, wobei zulässige glatte Kräfte erlaubt sind; (D) periodischer Zusammenbruch, wobei zulässige glatte Kräfte erlaubt sind. A/B betreffen alle zulässigen Anfangsdaten; C/D verlangen ein zulässiges Gegenbeispiel. Ein Zusammenbruch mit Kraft widerlegt A/B nicht.

Die folgenden Klauseln fassen A und C im ganzen Raum zusammen, nicht sämtliche offiziellen Voraussetzungen. In A gilt $f=0$. In C müssen alle räumlichen und zeitlichen Ableitungen der Kraft Clays Abklingbedingungen erfüllen; ausgeschlossen wird eine globale Lösung in der offiziellen glatten Klasse mit beschränkter Energie. Die periodischen Alternativen sind B und D.

Clay verlangt einen Beweis für eine von vier Alternativen, nicht für alle vier: (A) globale glatte Existenz ohne äußere Kraft auf R³; (B) globale glatte Existenz ohne äußere Kraft auf dem periodischen Torus T³; (C) Zusammenbruch auf R³, wobei zulässige glatte Kräfte erlaubt sind; (D) periodischer Zusammenbruch, wobei zulässige glatte Kräfte erlaubt sind. A/B betreffen alle zulässigen Anfangsdaten; C/D verlangen ein zulässiges Gegenbeispiel. Ein Zusammenbruch mit Kraft widerlegt A/B nicht.

1. (A) Existenz und Glattheit: Für jedes $u_0 \in C^\infty(\mathbb{R}^3)$ mit $\nabla \cdot u_0 = 0$ und $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ für alle $\alpha, K$, beweise die Existenz von $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ das die Gleichungen erfüllt, mit $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ für alle $t \geq 0$.
2. (C) Zusammenbruch: Gib $u_0 \in C^\infty(\mathbb{R}^3)$ (divergenzfrei, mit dem vorgeschriebenen Abfall) und $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ mit der Ableitungs-Abklingbedingung (5) an, sodass keine $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ mit den vorgegebenen Anfangsdaten und gleichmäßig beschränkter kinetischer Energie das System erfüllt.

• 1822: Navier leitet die Gleichungen aus molekularen Überlegungen her.
• 1845: Stokes gibt ihnen ihre moderne Form.
• 1934: Leray beweist, dass schwache Lösungen global existieren. Enorm.
• 1969: Ladyzhenskaya löst den 2D-Fall.
• 1982: Caffarelli, Kohn und Nirenberg beweisen partielle Regularität und zeigen, dass etwaige Singularitäten außerordentlich selten sein müssen, beschränkt auf eine Menge mit eindimensionalem Maß null.
• 1984: Beale, Kato und Majda beweisen für die 3D-Euler-Gleichungen, dass der Zusammenbruch einer glatten Lösung die Divergenz des Zeitintegrals der Wirbelstärke erzwingt. Verwandte Fortsetzungskriterien gelten auch für Navier-Stokes.
• 2000: Clay erklärt es zu einem Millennium-Problem. Eine Million Dollar.
• 2014: Tao konstruiert einen Blow-up für eine gemittelte Version der Gleichungen (Preprint; veröffentlicht 2016) und zeigt damit, dass es kein rein strukturelles Hindernis für die Bildung von Singularitäten gibt.
• September 2026: OpenAI kündigt 3D-Blowup mit glatter Kraft an (Clay C/D); Clay spricht von einer offenbar gefundenen Lösung. Prüfung und Preisvergabe sind getrennt.

• 1822: Navier. Molekulare Spannung.
• 1845: Stokes. Kontinuum.
• 1934: Leray. Das grundlegende Ergebnis: globale schwache Lösungen in $L^2$, der Leray-Projektor und die Energieungleichung, die ein ganzes Jahrhundert mathematischer Strömungsanalyse prägen und jeden folgenden Ansatz bestimmen sollte.
• 1951: Hopf erweitert dies auf beschränkte Gebiete.
• 1962: Serrin etabliert bedingte Regularität: glatt, falls $u \in L^p_t L^q_x$ mit $2/p + 3/q \leq 1$ und $q > 3$; den Endpunkt $L^\infty_t L^3_x$ lösten Escauriaza-Seregin-Šverák 2003.
• 1969: Ladyzhenskaja. 2D erledigt.
• 1982: CKN. $\mathcal{P}^1(S) = 0$.
• 1984: Beale-Kato-Majda (für 3D-Euler). Falls $T^* < \infty$, dann $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$. Analoge Fortsetzungskriterien gelten für Navier-Stokes.
• 2000: Clay.
• 2014: Tao. Blow-up für gemittelte Navier-Stokes-Gleichungen (JAMS 2016), was zeigt, dass jeder Beweis der Regularität für die echten Gleichungen feinere Eigenschaften der Navier-Stokes-Nichtlinearität ausnutzen muss als diejenigen, die im gemittelten Modell erhalten bleiben.
• September 2026: OpenAI kündigt 3D-Blowup mit glatter Kraft an (Clay C/D); Clay spricht von einer offenbar gefundenen Lösung. Prüfung und Preisvergabe sind getrennt.

Teil von Das Problem.

Vertiefung: Warum ist das Problem so schwer?, an welchen Teilproblemen arbeiten Mathematiker, und welche Ansätze haben sie versucht?

Die formale Clay-Formulierung befindet sich auf der Seite Millennium-Problem, und wenn Sie verstehen möchten, auf welche Version der Gleichungen dieses Problem tatsächlich abzielt, siehe Inkompressible vs. kompressible Navier-Stokes-Gleichungen.

Teil von Das Problem.

Details: Clay-Formulierung. Hindernisse: Warum es schwer ist.

Für das vollständige Bild der partiellen Resultate, offenen Teilfragen und jeder Strategie, die im vergangenen Jahrhundert der Arbeit an diesem Problem versucht wurde, siehe Teilprobleme und Ansätze. Welche Formulierung das Clay-Problem untersucht: Inkompressibel vs. kompressibel.