Fortschritt beim Navier-Stokes-Problem

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.

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.

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.

Fünf Ergebnisse, die das Gebiet neu geformt haben:

• 1934, Leray: Bewies, dass für alle vernünftigen Anfangsdaten globale schwache Lösungen in der Zeit existieren. Etwas bleibt für immer bestehen. Aber bleibt es glatt? Das ist die Frage, die Leray nicht beantworten konnte, und nach neunzig Jahren kann es sonst auch niemand.
• 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.
• 2022, Albritton, Brué, Colombo: Leray-Hopf-schwache Lösungen sind nicht eindeutig, wenn man eine äußere Kraft zulässt. Schlechte Nachricht: Die schwächste Lösungsklasse ist nicht so zahm, wie man gehofft hatte, und das erzwingt ein Umdenken darüber, was "Lösung" auf dieser Ebene überhaupt bedeutet.

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.

• 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 (J Math Pures Appl).
• 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).
• 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).

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.

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

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.

2026-09-12 (JST).

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.

2026-09-12 (JST).