Fortschritt beim Navier-Stokes-Problem

In neun Jahrzehnten bewiesen Mathematiker, dass schwache Lösungen für alle Zeiten existieren (Leray), dass mögliche Singularitäten extrem klein sein müssen (Caffarelli–Kohn–Nirenberg), welche Größen an einer ersten Singularität unbeschränkt werden müssen (Beale–Kato–Majda und spätere Kriterien) und dass Energie und Skalierung allein Blowup nicht ausschließen können (Tao). Im September 2026 kündigte OpenAI einen Beweis für Blowup in endlicher Zeit für die 3D-Gleichungen mit glatter äußerer Kraft an – Clays Zusammenbruch-Alternativen –, und Clay erklärte, das Problem sei „offenbar gelöst“. Ob Strömungen ohne äußere Kraft stets glatt bleiben, ist weiterhin offen.

Diese Seite folgt diesem Bogen: erst die Meilensteine, dann das Kapitel 2026 und wie es an sie anschließt. Den datierten Stand für sich zeigt Ist Navier-Stokes gelöst?

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

In neun Jahrzehnten bewiesen Mathematiker, dass schwache Lösungen für alle Zeiten existieren (Leray), dass mögliche Singularitäten extrem klein sein müssen (Caffarelli–Kohn–Nirenberg), welche Größen an einer ersten Singularität unbeschränkt werden müssen (Beale–Kato–Majda und spätere Kriterien) und dass Energie und Skalierung allein Blowup nicht ausschließen können (Tao). Im September 2026 kündigte OpenAI einen Beweis für Blowup in endlicher Zeit für die 3D-Gleichungen mit glatter äußerer Kraft an – Clays Zusammenbruch-Alternativen –, und Clay erklärte, das Problem sei „offenbar gelöst“. Ob Strömungen ohne äußere Kraft stets glatt bleiben, ist weiterhin offen.

Im Folgenden: die Meilensteine in präziser Form, dann der behauptete Zusammenbruch mit Kraft (Manuskript Theorem 1.1 und Korollar 10.6), gelesen vor ihrem Hintergrund. Datierter Stand: Ist Navier-Stokes gelöst?

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

Die Ergebnisse, die das Gebiet neu geformt haben:

• 1934, Leray: Bewies, dass für alle vernünftigen Anfangsdaten zeitlich globale schwache Lösungen existieren. Etwas bleibt für immer bestehen. Aber bleibt es glatt? Das ist die Frage, die Leray nicht beantworten konnte; für Strömungen ohne äußere Kraft ist sie noch immer offen.
• 1982, Caffarelli, Kohn, Nirenberg: Die Menge möglicher Singularitäten ist extrem klein: In der für diese Gleichungen natürlichen parabolischen Geometrie hat sie eindimensionale Größe null. Verschwindend klein. Wenn Blow-up geschieht, ist er unvorstellbar dünn verteilt.
• 1984, Beale, Kato, Majda: Ein riesiges Ergebnis. Eine glatte Lösung kann nur dann zusammenbrechen, wenn die Vortizität blowt up; damit bekam das ganze Feld ein präzises Ziel: Kontrolliert man die relevante Vortizitätsnorm stark genug, kann eine glatte Lösung zu diesem Zeitpunkt nicht zusammenbrechen.
• 2016, Tao: Konstruierte Blow-up für eine gemittelte Navier-Stokes-Gleichung mit denselben Energie- und Skalierungseigenschaften wie das echte System. Das bedeutet, ein Beweis für die echte Gleichung muss feinere Struktur nutzen als Energieabschätzungen und Skalierung allein. Eine Barriere. Keine Lösung.
• 2019, Buckmaster, Vicol: Ganz ohne Kraft können distributionelle schwache Lösungen mit endlicher Energie nicht eindeutig sein. Diese Lösungen liegen außerhalb der Leray–Hopf-Klasse (Annals 2019).
• 2022, Albritton, Brué, Colombo: Schwache Leray-Hopf-Lösungen sind nicht eindeutig, wenn man eine äußere Kraft zulässt. Die Klasse mit Energieungleichung ist nicht so zahm wie erhofft, was die Frage schärfte, welche schwachen Lösungen physikalisch sinnvoll sind.

Wie diese Ergebnisse mit der Ankündigung von 2026 zusammenhängen, behandelt der nächste Abschnitt.

• 1934, Leray: Globale Existenz schwacher Lösungen in $L^2$ für divergenzfreie Daten $u_0 \in L^2(\mathbb{R}^3)$, die die Energieungleichung erfüllen (Acta Mathematica).
• 1982, Caffarelli–Kohn–Nirenberg (CKN): Partielle Regularität; $\mathcal{P}^1(\mathrm{sing}\, u)=0$, das heißt, das eindimensionale parabolische Hausdorff-Maß der singulären Menge verschwindet. Noch immer das stärkste allgemeine Resultat, das wir haben (Comm Pure Appl Math).
• 1984, Beale–Kato–Majda (BKM): Das Fortsetzungskriterium, das das Gebiet neu geformt hat: Eine glatte Lösung auf $[0,T)$ lässt sich genau dann über $T$ hinaus fortsetzen, wenn $\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty$; damit wird Regularität auf Kontrolle der Vortizität reduziert. Ursprünglich für Euler; an Navier-Stokes angepasst (Comm Math Phys).
• 2016, Tao: Endlichzeit-Blow-up für eine gemittelte Navier-Stokes-Gleichung, die dieselben Energie- und Skalierungseigenschaften wie das echte System erfüllt; daher muss jeder Regularitätsbeweis feinere Struktur ausnutzen (J Amer Math Soc).
• 2019, Buckmaster–Vicol: Nicht-Eindeutigkeit distributioneller schwacher Lösungen mit endlicher kinetischer Energie für die Gleichungen ohne äußere Kraft, mittels konvexer Integration; die Lösungen erfüllen die Energieungleichung nicht und liegen daher außerhalb der Leray–Hopf-Klasse (Annals 2019).
• 2022, Albritton–Brué–Colombo: Nicht-Eindeutigkeit von Leray-Hopf-Lösungen für erzwungene 3D-Navier-Stokes-Gleichungen, konstruiert über instabile selbstähnliche Lösungen (Ann of Math).

Der nächste Abschnitt liest die Behauptung von 2026 vor dem Hintergrund dieser Resultate.

Am 8. September 2026 kündigte OpenAI einen Beweis an, dass für jede positive Viskosität eine glatte Lösung, die aus der Ruhe startet und von einer glatten äußeren Kraft mit kompaktem Träger angetrieben wird, zu einer endlichen Zeit eine unbeschränkte Geschwindigkeit entwickelt, während ihre kinetische Energie beschränkt bleibt. OpenAI erklärt, dies belege Clays Alternative C und ihr periodisches Gegenstück D. Am 11. September erklärte Clay, das Problem sei „offenbar gelöst“; die Bewertung erfolgt bewusst ohne Eile. Details und Quellen.

Wie es sich zu früheren Arbeiten verhält. Diese Punkte betreffen Konsistenz und Kontext; keiner von ihnen verifiziert den Beweis.

• Lerays Frage. Leray (1934) führte schwache („turbulente“) Lösungen ein, ließ aber offen, ob glatte Lösungen ihre Regularität verlieren können, und schlug ein selbstähnliches Blowup-Szenario vor. Dieses spezielle Szenario wurde später unter natürlichen Integrierbarkeitsbedingungen ausgeschlossen (Nečas–Růžička–Šverák, 1996; Tsai, 1998). Die Behauptung von 2026 beantwortet die Zusammenbruch-Frage in einem Rahmen mit äußerer Kraft; für Strömungen ohne Kraft bleibt sie offen.
• Partielle Regularität. Caffarelli–Kohn–Nirenberg begrenzt, wie groß eine singuläre Menge sein kann; Singularitäten hat es nie ausgeschlossen. Eine Blowup-Konstruktion steht daher nicht im Widerspruch dazu.
• Fortsetzungskriterien. Kriterien vom Typ Beale–Kato–Majda und Prodi–Serrin–Ladyzhenskaya geben an, welche Größen zu einem ersten singulären Zeitpunkt unbeschränkt werden müssen. Clays Problemstellung merkt an, dass bei Navier–Stokes die Geschwindigkeit in der Nähe eines endlichen Blowup-Zeitpunkts unbeschränkt wird, und das angekündigte Theorem ist in dieser Form formuliert: Die Maximalgeschwindigkeit wird bei Annäherung an den singulären Zeitpunkt unbeschränkt, während die Energie beschränkt bleibt.
• Taos Barriere. Taos gemittelte Gleichung zeigte, dass ein Regularitätsbeweis feinere Struktur der echten Nichtlinearität nutzen muss als Energie und Skalierung. Die angekündigte Konstruktion arbeitet mit den echten Gleichungen, aber mit äußerer Kraft; sie sagt daher nichts darüber, ob die Dynamik ohne Kraft eine Struktur besitzt, die Blowup verhindert.
• Nicht-Eindeutigkeit. Buckmaster–Vicol (ohne Kraft, außerhalb der Leray–Hopf-Klasse) und Albritton–Brué–Colombo (Leray–Hopf, mit Kraft) betreffen die Eindeutigkeit schwacher Lösungen. Die Behauptung von 2026 betrifft den Verlust der Glattheit einer glatt startenden Lösung: eine andere Frage.
• Euler. 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.

Was sich nicht geändert hat: Die Frage der globalen Regularität ohne äußere Kraft (Clays A und B), die Eindeutigkeit von Leray–Hopf-Lösungen ohne Kraft sowie die Programme zu partieller Regularität und Fortsetzungskriterien bleiben offene Forschungsrichtungen. Siehe Unterprobleme und Ansätze.

Die Behauptung. Für jedes $\nu>0$ konstruiert das Manuskript $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ und glatte $(u,p)$ auf $\mathbb{R}^3\times[0,1)$ mit $u(\cdot,0)=0$, $\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$ und $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ (Theorem 1.1, Alternative C); Korollar 10.6 liefert den periodischen Fall (Alternative D). Clay (11. September): „offenbar gelöst“. Stand und Quellen.

• Leray. Lerays selbstähnlicher Ansatz $u(x,t)=\lambda(t)U(\lambda(t)x)$ mit $\lambda(t)=(2a(T-t))^{-1/2}$ wurde für $U\in L^3(\mathbb{R}^3)$ von Nečas–Růžička–Šverák (1996) und unter lokalen Energieschranken von Tsai (1998) ausgeschlossen. Diese Resultate schränken ein Blowup-Profil ein; sie schließen Singularitäten nicht allgemein aus.
• CKN. $\mathcal{P}^1(S)=0$ beschränkt die Größe der singulären Menge geeigneter schwacher Lösungen; es ist mit isolierten singulären Punkten verträglich und steht daher nicht im Widerspruch zu einer Blowup-Konstruktion.
• Kriterien. 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$) und Escauriaza–Seregin–Šverák beschreiben notwendiges Verhalten zu einem ersten singulären Zeitpunkt. Feffermans Problemstellung hält fest, dass für $\nu>0$ die Geschwindigkeit in der Nähe eines endlichen Blowup-Zeitpunkts unbeschränkt wird; Theorem 1.1 ist als $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ bei beschränkter $L^2$-Norm formuliert.
• Tao. Das gemittelte Modell zeigt, dass Energieidentität und Skalierung für sich genommen Blowup nicht verhindern. Die Konstruktion mit Kraft verwendet die echte Nichtlinearität; ob die echte Dynamik ohne Kraft einen Regularitätsmechanismus jenseits von Energie und Skalierung zulässt, bleibt davon unberührt.
• Nicht-Eindeutigkeit. Buckmaster–Vicol (2019): ohne Kraft, distributionell, außerhalb von Leray–Hopf. Albritton–Brué–Colombo (2022): Leray–Hopf, mit Kraft. Die Behauptung von 2026 ist eine Regularitätsaussage (Zusammenbruch) für eine klassische Lösung, keine Eindeutigkeitsaussage.
• Euler. 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.

Zu den unveränderten offenen Problemen gehören A/B ($f\equiv0$), die Leray–Hopf-Eindeutigkeit für $f\equiv0$ und scharfe Fortsetzungskriterien. Siehe Unterprobleme und Ansätze.

Diese Seite ist eine Karte, nicht das Gelände. Für die Details:

Für eine detaillierte Behandlung einzelner Forschungsrichtungen:

• Teilprobleme: gelöste und teilweise gelöste Fälle, darunter globale Regularität in 2D, Axialsymmetrie ohne Swirl, Ergebnisse in kritischen Räumen ($L^3$, $\dot{H}^{1/2}$, $BMO^{-1}$) und bedingte Regularitätskriterien jenseits von BKM.
• Ansätze: die wichtigsten Beweisstrategien, die aktiv untersucht werden, darunter Energie- und Enstrophiemethoden, Profilzerlegung, Theorie milder Lösungen, stochastische Navier-Stokes-Gleichungen, Programme konvexer Integration und computergestützte Schranken.

Quellen geprüft am 2026-09-29 (JST). Diese Seite fasst veröffentlichte Literatur und öffentliche Stellungnahmen zusammen; sie ist keine unabhängige Prüfung des Beweises. Das Repository führt seine Prüfung als „self-assessed“ (selbst bewertet); das belegt weder eine unabhängige Überprüfung, noch zeigt es, dass niemand sonst die Arbeit geprüft hat. Die Lean-Veröffentlichung und das Manuskript liefern Material zur Prüfung; sie ersetzen nicht den Abgleich, ob die formalen Aussagen den beabsichtigten Theoremen entsprechen.

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

Quellen geprüft am 2026-09-29 (JST). Diese Seite fasst veröffentlichte Literatur und öffentliche Stellungnahmen zusammen; sie ist keine unabhängige Prüfung des Beweises. Das Repository führt seine Prüfung als „self-assessed“ (selbst bewertet); das belegt weder eine unabhängige Überprüfung, noch zeigt es, dass niemand sonst die Arbeit geprüft hat. Die Lean-Veröffentlichung und das Manuskript liefern Material zur Prüfung; sie ersetzen nicht den Abgleich, ob die formalen Aussagen den beabsichtigten Theoremen entsprechen.

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