Ist Navier-Stokes gelöst? Stand September 2026

OpenAI hat einen Beweis angekündigt, der nach eigener Aussage das Problem in der von Clay gestellten Form löst, und Clay erklärt, das Problem sei „offenbar gelöst“. Am 8. September 2026 gab OpenAI bekannt, dass eine glatte Lösung der inkompressiblen 3D-Navier–Stokes-Gleichungen, die aus der Ruhe startet und von einer glatten äußeren Kraft angetrieben wird, in endlicher Zeit eine unbeschränkte Geschwindigkeit entwickelt, und stellte dies als die Zusammenbruch-Alternativen C und D der offiziellen Clay-Problemstellung dar, die eine beliebige von vier möglichen Antworten verlangt. Clays Stellungnahme folgte am 11. September; die Bewertung und die Zuordnung der Urheberschaft erfolgen bewusst ohne Eile, und ein Preis wurde nicht vergeben.

Einfach gesagt: Die Frage war, ob die Gleichungen, die strömendes Wasser und Luft beschreiben, jemals „zusammenbrechen“ können, sodass aus einem vollkommen glatten Anfangszustand eine unendliche Geschwindigkeit entsteht. Der angekündigte Beweis sagt: ja, wenn von außen ein glatter Antrieb auf genau die richtige Weise wirkt. Er zeigt nicht dasselbe ohne diesen Antrieb, und er sagt nicht voraus, dass echtes Wasser unendliche Geschwindigkeit erreicht.

Quellenstand geprüft am 2026-09-29 (JST). Diese Seite gibt wieder, was die Primärquellen aussagen; sie ist keine eigene Überprüfung des Beweises.

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

OpenAI hat einen Beweis angekündigt, der nach eigener Aussage das Problem in der von Clay gestellten Form löst, und Clay erklärt, das Problem sei „offenbar gelöst“. Am 8. September 2026 gab OpenAI bekannt, dass eine glatte Lösung der inkompressiblen 3D-Navier–Stokes-Gleichungen, die aus der Ruhe startet und von einer glatten äußeren Kraft angetrieben wird, in endlicher Zeit eine unbeschränkte Geschwindigkeit entwickelt, und stellte dies als die Zusammenbruch-Alternativen C und D der offiziellen Clay-Problemstellung dar, die eine beliebige von vier möglichen Antworten verlangt. Clays Stellungnahme folgte am 11. September; die Bewertung und die Zuordnung der Urheberschaft erfolgen bewusst ohne Eile, und ein Preis wurde nicht vergeben.

Das veröffentlichte Manuskript behauptet (Theorem 1.1), dass es für jede Viskosität $\nu>0$ eine Kraft $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$, eine kompakte Menge $K\subset\mathbb{R}^3$ und glatte $(u,p)$ auf $\mathbb{R}^3\times[0,1)$ gibt, die die Gleichungen mit $u_0=0$ lösen, wobei der Träger von Geschwindigkeit und Druck auf dem gesamten Zeitintervall in $K$ liegt, mit $\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$, aber $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$. Als Folgerung gibt es an, dass keine glatte Lösung auf $\mathbb{R}^3\times[0,\infty)$ mit derselben Kraft und demselben Anfangsdatum eine gleichmäßig beschränkte kinetische Energie besitzt: Alternative C. Korollar 10.6 liefert das periodische Gegenstück auf $\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3$, mit einer glatten, in der Zeit kompakt getragenen Kraft und ohne globale glatte periodische Lösung: Alternative D. Die Kraft bleibt bei $t=1$ und darüber hinaus glatt. Dies sind die Theoremaussagen der Autoren, hier wiedergegeben und nicht überprüft: OpenAI — Navier–Stokes (PDF), 1.1 / 10.6.

Quellenstand geprüft am 2026-09-29 (JST). Diese Seite gibt wieder, was die Primärquellen aussagen; sie ist keine eigene Überprüfung des Beweises.

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

• 8. September 2026 — OpenAI. Kündigte einen Beweis für Blowup in endlicher Zeit für die inkompressiblen 3D-Gleichungen mit glatter äußerer Kraft an und erklärte, dieser belege Alternative C (und auch D) der offiziellen Clay-Formulierung. Veröffentlichte ein Manuskript und eine Lean-Formalisierung und kündigte gesondert Blowup für die 3D-Euler-Gleichungen ohne äußere Kraft an. OpenAI erklärt, den Millennium-Preis nicht beanspruchen zu wollen.
• 10. September 2026 — Repository. Datum des letzten Commits im öffentlichen Lean-Repository zum Zeitpunkt unserer Prüfung. Seine Metadaten führen den Prüfstatus weiterhin als „self-assessed“ (selbst bewertet).
• 11. September 2026 — Clay Mathematics Institute. Erklärte, es teile „die Begeisterung der weltweiten mathematischen Gemeinschaft, während wir die Ankündigung bedenken, dass das Navier-Stokes-Problem offenbar gelöst ist“, und das Verfahren zur Bewertung der Arbeit und zur Zuordnung der Urheberschaft verlaufe „bewusst ohne Eile“.
• 29. September 2026 — unsere Quellenprüfung. Clays Ankündigungs- und Nachrichtenseiten zeigten keine spätere Entscheidung. Dies ist nur eine Prüfung dieser Seiten, keine Aussage über jede institutionelle Stellungnahme oder jede unabhängige Begutachtung.

• 8. September 2026 — OpenAI. Kündigte einen Beweis für Blowup in endlicher Zeit für die inkompressiblen 3D-Gleichungen mit glatter äußerer Kraft an und erklärte, dieser belege Alternative C (und auch D) der offiziellen Clay-Formulierung. Veröffentlichte ein Manuskript und eine Lean-Formalisierung und kündigte gesondert Blowup für die 3D-Euler-Gleichungen ohne äußere Kraft an. OpenAI erklärt, den Millennium-Preis nicht beanspruchen zu wollen.
• 10. September 2026 — Repository. Datum des letzten Commits im öffentlichen Lean-Repository zum Zeitpunkt unserer Prüfung. Seine Metadaten führen den Prüfstatus weiterhin als „self-assessed“ (selbst bewertet).
• 11. September 2026 — Clay Mathematics Institute. Erklärte, es teile „die Begeisterung der weltweiten mathematischen Gemeinschaft, während wir die Ankündigung bedenken, dass das Navier-Stokes-Problem offenbar gelöst ist“, und das Verfahren zur Bewertung der Arbeit und zur Zuordnung der Urheberschaft verlaufe „bewusst ohne Eile“.
• 29. September 2026 — unsere Quellenprüfung. Clays Ankündigungs- und Nachrichtenseiten zeigten keine spätere Entscheidung. Dies ist nur eine Prüfung dieser Seiten, keine Aussage über jede institutionelle Stellungnahme oder jede unabhängige Begutachtung.

In den Navier–Stokes-Gleichungen steht der Kraftterm $f$ für alles, was das Fluid von außen antreibt: Schwerkraft, ein Rührpaddel, eine Pumpe. Mit $f=0$ entwickelt sich das Fluid einfach aus seinem Anfangszustand.

Clays offizielle Problemstellung, verfasst von Charles Fefferman, bietet vier Wege zur Lösung des Problems an und erklärt, dass einer genügt. Zwei sind Existenzaussagen: Jede glatte, gutartige Anfangsströmung bleibt für immer glatt. Sie sind ohne äußere Kraft formuliert (A im ganzen Raum, B in einer periodischen Box). Die anderen beiden sind Zusammenbruch-Aussagen, und dort darf man sowohl eine glatte Anfangsströmung als auch eine glatte äußere Kraft wählen, sofern die Kraft und alle ihre Ableitungen schnell abfallen: in Raum und Zeit im ganzen Raum (C) und in der Zeit in einer periodischen Box (D). Die Problemstellung begründet die vier Optionen lediglich damit, „den Lösenden angemessenen Spielraum zu geben und dabei den Kern des Problems zu bewahren“.

Nein. Die angekündigte Konstruktion beruht auf einer sorgfältig gewählten glatten äußeren Kraft. Sie entscheidet nicht, ob jede glatte Strömung ohne äußere Kraft für immer glatt bleibt (Alternativen A und B), und Clays Problemstellung verlangt das auch nicht: Sie fordert eine Alternative, nicht alle vier.

Die Kraft in der angekündigten Konstruktion ist keine versteckte Singularität. Sie ist glatt, auf einen beschränkten Raumbereich und ein beschränktes Zeitintervall begrenzt und bleibt auch in dem Moment glatt, in dem die Geschwindigkeit unbeschränkt wird. Auch die gesamte kinetische Energie bleibt beschränkt. Beschränkte Energie verhindert nicht, dass die Maximalgeschwindigkeit unbeschränkt wird: Die Bewegung kann sich in immer kleineren Bereichen konzentrieren.

Man schreibe das System als $\partial_t u + (u\cdot\nabla)u = -\nabla p + \nu\Delta u + f$, $\nabla\cdot u=0$. In A und B ist $f\equiv0$, und die Aussage ist universell: Jedes zulässige $u_0$ besitzt eine globale glatte Lösung (mit beschränkter Energie auf $\mathbb{R}^3$). In C und D ist die Aussage existenziell: Es gibt ein zulässiges Paar $(u_0,f)$ ohne globale glatte Lösung in der geforderten Klasse. Auf $\mathbb{R}^3$ muss die Kraft Bedingung (5) erfüllen,

$$|\partial_x^\alpha\partial_t^m f(x,t)|\le \frac{C_{\alpha m K}}{(1+|x|+t)^{K}},$$

für alle Multiindizes $\alpha$ und alle $m,K$; auf $\mathbb{T}^3$ muss sie Bedingung (9) erfüllen, mit Abfall nur in $t$. Eine glatte Kraft mit kompaktem Träger in Raum–Zeit erfüllt (5).

C ist also nicht die Negation von A. Die Negation von A wäre ein zulässiges $u_0$ mit $f\equiv0$ ohne globale glatte Lösung mit beschränkter Energie; C akzeptiert ein Gegenbeispiel, bei dem zusätzlich eine glatte, schnell abfallende Kraft gewählt wird. Der offizielle Text begründet die vierteilige Formulierung nur damit, „den Lösenden angemessenen Spielraum zu geben und dabei den Kern des Problems zu bewahren“. Ein Beweis von C oder D löst das Problem in der gestellten Form, lässt aber offen, ob A und B zutreffen.

Nein. Die angekündigte Konstruktion beruht auf einer sorgfältig gewählten glatten äußeren Kraft. Sie entscheidet nicht, ob jede glatte Strömung ohne äußere Kraft für immer glatt bleibt (Alternativen A und B), und Clays Problemstellung verlangt das auch nicht: Sie fordert eine Alternative, nicht alle vier.

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.

Zu den genauen Bedingungen (Abfall, Energieschranke und Periodizität) siehe die offizielle Clay-Problemstellung, erklärt; dort wird das angekündigte Theorem auch Zeile für Zeile C und D zugeordnet.

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.

Drei verschiedene Dinge werden leicht vermischt:

• Die mathematische Behauptung. Ein langes Manuskript und eine Lean-Formalisierung. Das Repository gibt an, dass seine Hauptergebnisse vollständig formalisiert sind, ohne unerledigte Schritte („sorry“), und führt seinen Prüfstatus als „self-assessed“ (selbst bewertet). Diese Kennzeichnung stammt aus den eigenen Metadaten der Autoren: Sie belegt weder eine unabhängige Überprüfung, noch zeigt sie, dass niemand sonst die Arbeit geprüft hat. Ein formaler Beweis muss außerdem mit der beabsichtigten Theoremaussage abgeglichen werden; das ist eine eigene Prüfung.
• Clays Reaktion. Die Stellungnahme vom 11. September erkennt eine offenbare Lösung an. Sie ist weder eine Zertifizierung noch eine Preisvergabe, und sie nennt keinen Preisträger.
• Das Preisverfahren. Clays Regeln nennen Bedingungen, darunter die Veröffentlichung in einem qualifizierten Publikationsorgan, mindestens zwei Jahre seit der Veröffentlichung und allgemeine Akzeptanz in der mathematischen Gemeinschaft. OpenAI hat erklärt, den Preis von 1 Million US-Dollar nicht beanspruchen zu wollen. Keiner der beiden Punkte impliziert ein Datum oder ein Ergebnis.

Diese Website gibt öffentliche Quellen wieder. Wir haben den Beweis nicht geprüft, das Lean-Projekt nicht gebaut und die Übereinstimmung zwischen formalen und informellen Aussagen nicht kontrolliert.

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.

• Manuskript. Theorem 1.1 (ganzer Raum) und Korollar 10.6 (periodisch), wie oben zitiert. Das periodische Korollar formuliert keine gesonderte Energieungleichung; die offizielle Alternative D verlangt keine.
• Formalisierung. Die Repository-Metadaten (Commit f9e8bc5, 10. September 2026) ordnen Theorem 1.1 und Korollar 10.6 zwei Lean-Deklarationen zu, melden null sorry und nur die Standardaxiome propext, Classical.choice und Quot.sound und übernehmen ihre Referenzformulierungen von C und D aus dem Projekt Formal Conjectures. Ihr Prüfstatus lautet „self-assessed“ (selbst bewertet). Dies sind Angaben der Autoren; ein Build, eine Axiomprüfung und eine Kontrolle, ob die formalen Aussagen Feffermans Text entsprechen, sind unabhängige Aufgaben, die diese Website nicht durchgeführt hat.
• Institution und Preis. Clay (11. September): „offenbar gelöst“; Bewertung und Zuordnung der Urheberschaft „bewusst ohne Eile“. Clays Regeln nennen unter den Bedingungen eine qualifizierte Veröffentlichung, eine Frist von zwei Jahren und allgemeine Akzeptanz. OpenAI erklärt, den Preis von 1 Million US-Dollar nicht beanspruchen zu wollen.

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.

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. Ohne äußere Kraft ist weiterhin offen, ob sie glatt und eindeutig bleiben.
• 2D ist geklärt. In zwei Dimensionen existieren glatte Lösungen für alle Zeiten; das ist seit Langem bekannt, und Clays Problemstellung schreibt dies den Arbeiten Ladyzhenskayas zu. Die Schwierigkeit ist 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; doch für 3D-Strömungen ohne äußere Kraft hat niemand bewiesen, dass die Glattheit stets erhalten bleibt, und kein Gegenbeispiel ohne Kraft ist bekannt.

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 in dieser Klasse für $f\equiv0$? Offen.
• Zwei Dimensionen: Für das inkompressible 2D-Problem liefern glatte divergenzfreie Daten eine eindeutige globale glatte Lösung; seit Langem bekannt, wobei Clays Problemstellung Ladyzhenskaya zitiert.
• 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 divergenzfreie $u_0 \in H^s(\mathbb{R}^3)$ mit $s > 3/2$ oder im skalierungskritischen Raum $\dot{H}^{1/2}(\mathbb{R}^3)$ (Fujita–Kato, 1964) gibt es eine eindeutige lokale starke (milde) Lösung auf einem Intervall $[0, T^*)$, die für positive Zeiten glatt ist. Koch–Tataru (2001) bewiesen globale Wohlgestelltheit für hinreichend kleine Daten im kritischen Raum $BMO^{-1}$. Gilt $T^* = \infty$ für alle zulässigen Daten?

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. Für $f\equiv0$ bleibt offen, ob die starke Lösung stets auf alle Zeiten fortgesetzt werden kann; die Behauptung von 2026 betrifft Daten mit äußerer Kraft.

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$.

• Globale Regularität ohne äußere Kraft. Bleibt jede glatte Strömung endlicher Energie ohne äußere Kraft für immer glatt (Clays A und B)? Das angekündigte Ergebnis entscheidet das nicht.
• Eindeutigkeit ohne äußere Kraft. Mit einer eigens konstruierten Kraft zeigten Albritton, Brué und Colombo (2022), dass schwache Leray–Hopf-Lösungen nicht eindeutig sein müssen. Ohne äußere Kraft ist die Eindeutigkeit in dieser Klasse offen.
• Prüfung und Anerkennung. Die fachkundige Lektüre des Manuskripts, der Abgleich der formalen mit den informellen Aussagen und Clays Bewertung nach seinen Regeln sind getrennte Schritte. Die hier geprüften Quellen melden keine abgeschlossene Preisbewertung.
• Der Mechanismus. Was die Konstruktion darüber verrät, wie sich viskose Strömungen konzentrieren können, und ob ohne äußere Kraft etwas Ähnliches geschehen kann, sind Forschungsfragen.

Partielle Regularität, Fortsetzungskriterien und die Theorie schwacher Lösungen bleiben die Arbeitswerkzeuge für diese Fragen: siehe Unterprobleme und die Geschichte der Fortschritte, einschließlich 2026.

• A/B. Gibt es für $f\equiv0$ und jedes zulässige $u_0$ (abfallend auf $\mathbb{R}^3$ oder periodisch) eine globale glatte Lösung? Weder ein Beweis noch ein Gegenbeispiel ohne Kraft ist bekannt.
• Leray–Hopf-Eindeutigkeit für $f\equiv0$. Offen. Nicht-Eindeutigkeit ist bekannt mit geeigneter Kraft (Albritton–Brué–Colombo, 2022) sowie, ohne Kraft, für distributionelle schwache Lösungen außerhalb der Leray–Hopf-Klasse (Buckmaster–Vicol, 2019).
• Verifikation. Unabhängige Lektüre, die Entsprechung zwischen formalen und informellen Aussagen und Clays Verfahren sind von der Ankündigung zu unterscheiden.
• Struktur der Singularität. Raten, Geometrie und Stabilität der angekündigten Singularität mit Kraft sowie ihr Verhältnis zu Typ-I-/Typ-II-Szenarien und zu Fortsetzungskriterien für das Problem ohne Kraft.

Siehe Unterprobleme und Fortschritt.

Mit äußerer Kraft („Forcing“) ist ein externer Eintrag in die Geschwindigkeitsgleichung gemeint, keine Kraft, die unendlich wird. Die Navier–Stokes-Gleichungen sind ein Kontinuumsmodell: Sie behandeln ein Fluid als glatte Materie und beschreiben molekulare Skalen nicht genau. Eine Singularität der Gleichungen ist eine Aussage über die Mathematik dieses Modells. Sie sagt nicht voraus, dass echtes Wasser oder echte Luft unendliche Geschwindigkeit erreicht, und die Ankündigung ist weder eine geschlossene Formel für beliebige Strömungen noch eine neue Ingenieurmethode.

Für Physik und Technik bleibt die Frage dennoch bedeutsam: Die Gleichungen werden täglich eingesetzt, und zu wissen, ob sie zusammenbrechen können, zeigt, was das Modell selbst garantieren kann und was nicht.

Das Ergebnis betrifft klassische Lösungen einer idealisierten PDE: ein inkompressibles Newtonsches Kontinuum mit konstanter Dichte und Viskosität. Unbeschränktes $\|u\|_{L^\infty}$ bei $t=1$ ist eine Eigenschaft dieses Modells; die Modellannahmen (Kontinuumshypothese, Materialgesetz, Inkompressibilität) sind nicht dafür ausgelegt, auf beliebig kleinen Skalen zu gelten. Die physikalische Relevanz eines solchen Mechanismus ist eine eigene Frage, die das Theorem nicht behandelt.

Es ist auch keine allgemeine Lösungsformel: Exakte geschlossene Lösungen bleiben Spezialfälle, und praktische Berechnungen bleiben numerisch.

• 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: Ladyzhenskayas Monographie, die Clays Problemstellung für die zweidimensionale Theorie zitiert; globale Regularität in 2D ist seit Langem bekannt.
• 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 Blowup für eine gemittelte Version der Gleichungen (Preprint; veröffentlicht 2016) und zeigt damit, dass Energie und Skalierung allein Singularitäten nicht ausschließen können.
• 2026: OpenAI kündigt einen Beweis für Blowup mit glatter Kraft an und beansprucht Clays Alternativen C und D; Clay erklärt, das Problem sei „offenbar gelöst“, die Bewertung erfolge bewusst ohne Eile.

Die ganze Geschichte: Fortschritt beim Navier-Stokes-Problem.

• 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: Ladyzhenskayas Monographie; globale Regularität in 2D seit Langem bekannt.
• 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.
• 2026: Angekündigter Blowup mit glatter Kraft (Manuskript Theorem 1.1, Korollar 10.6), der C und D beansprucht; Clay: „offenbar gelöst“.

Kontext und Zusammenhänge: Fortschritt.

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.