Navier–Stokes

Existenz und Glattheit in drei Dimensionen. Seit dem 8. September 2026 liegt ein Beweis vor, dass glatte Strömungen in endlicher Zeit zusammenbrechen können. Die Prüfung läuft noch.

Status beim Clay Institute:  active, seit 11. 9. 2026

Kaskade von Wirbelringen, die sich jeweils um den Faktor 1/√2 verkleinern und auf den Punkt x* zulaufen𝑥*Stufe 0Stufe 1Stufe 2Stufe 𝑛:𝐿ₙ = 𝐿·2−𝑛/2𝜏ₙ = 𝜏·2−𝑛unendlich viele Stufen bis 𝑇*Maximale Wirbelstärke verdoppelt sich je Stufe, während sich die Dauer halbiert; das Integral divergiert bei T* = 2τ𝑡‖𝜔(𝑡)‖∞logarithmisch0𝜏3𝜏/2𝜔₀2⁴𝜔₀2⁸𝜔₀𝑇* = 2𝜏je Stufe gleicher Beitrag:2𝑛𝜔₀ · 2−𝑛𝜏 = 𝜔₀𝜏∫0𝑇* ‖𝜔‖∞ d𝑡 = ∞
Abb. a. So sieht ein Zusammenbruch aus, als Skalierungsschema und nicht als Bild der tatsächlichen Konstruktion. Mit 𝑢 ist auch 𝜆𝑢(𝜆𝑥, 𝜆²𝑡) eine Lösung (Druck und Kraft passend skaliert). Jede Stufe ist die vorige, um 1/√2 verkleinert und doppelt so schnell: Die Wirbelstärke verdoppelt sich, die Dauer halbiert sich, jede Stufe trägt denselben Betrag 𝜔₀𝜏 bei. Unendlich viele Stufen passen in die endliche Zeit 𝑇* = 2𝜏, das Integral divergiert, und nach dem Kriterium von Beale, Kato und Majda endet die glatte Lösung bei 𝑇*. Die Energie je Stufe fällt dagegen wie 2−𝑛/2, die Gesamtenergie bleibt endlich.

Das Problem

Die Gleichungen beschreiben eine inkompressible, zähe Flüssigkeit: Geschwindigkeit 𝑢, Druck 𝑝, Viskosität 𝜈, äußere Kraft 𝑓. Die Frage aus dem Jahr 2000: Bleibt eine Lösung mit glatten Anfangsdaten für immer glatt? Charles Fefferman hat sie in vier Alternativen gefasst. Wer eine davon beweist, löst das Problem.

Die inkompressiblen Navier-Stokes-Gleichungen mit Beschriftung jedes Terms∂𝑡𝑢+(𝑢·∇)𝑢=𝜈Δ𝑢−∇𝑝+𝑓zeitlicheÄnderungReibung,glättetäußereKraftSelbsttransport:nichtlinear, verstärktDruck, hält∇·𝑢 = 0 ein∇·𝑢 = 0𝑢(𝑥, 0) = 𝑢⁰(𝑥)𝑥 ∈ ℝ³ oder 𝕋³ = ℝ³/ℤ³, 𝑡 ≥ 0, 𝜈 > 0Feffermans vier Alternativen A bis D; C und D, der Zusammenbruch, sind beanspruchtLösung bleibt glattfür alle ZeitenZusammenbruchin endlicher Zeitℝ³ganzerRaum𝕋³periodischAglatte Lösung mitendlicher Energie fürjedes glatte, schnellabfallende 𝑢⁰, 𝑓 ≡ 0Bglatte periodischeLösung für jedesglatte 𝑢⁰bei 𝑓 ≡ 0Ces gibt glatte 𝑢⁰, 𝑓ohne glatte Lösungendlicher Energiebeansprucht8. 9. 2026Des gibt glatteperiodische 𝑢⁰, 𝑓ohne glatte Lösungbeansprucht8. 9. 2026
Abb. b. Links die Gleichungen, Term für Term. Der nichtlineare Transport (𝑢·∇)𝑢 kann Wirbel verstärken, die Reibung 𝜈Δ𝑢 glättet. Rechts Feffermans Alternativen: (A) und (B) behaupten globale Glattheit, (C) und (D) den Zusammenbruch. Beansprucht sind (C) und (D).

Eines von sieben

Das Clay Institute hat am 24. Mai 2000 sieben Probleme mit je einer Million Dollar ausgeschrieben. Gelöst war bisher nur eines.

  • Birch und Swinnerton-Dyeroffen
  • Hodge-Vermutungoffen
  • Navier–StokesBlow-up beansprucht am 8. 9. 2026, in Prüfung
  • P vs. NPoffen
  • Poincaré-Vermutungbewiesen von Grigori Perelman 2002/03; Preis 2010 zuerkannt, abgelehnt
  • Riemannsche Vermutungoffen
  • Yang–Mills und Massenlückeoffen
Abb. c. Die sieben Millennium-Probleme in der Reihenfolge der Clay-Liste. Gefüllt: bewiesen und anerkannt. Gestrichelter Ring: beansprucht, Prüfung offen.

Wie es dazu kam

Chronologie vom Jahr 2000 bis September 202624. 5. 2000Das Clay Institute stellt in Parissieben Probleme vor. Charles Feffermanformuliert für Navier–Stokes dieAlternativen (A) bis (D).2023–2025Diego Córdoba und Luis Martínez-Zoroakonstruieren Blow-up für Euler underzwungenes Blow-up für hypodissipativesNavier–Stokes. Ihr Werkzeug: die„unendliche Kaskade“.15. 8. 2026Levent Alpöge und Tristan Buckmastererzielen erzwungenes Blow-up für IPM,2D-Boussinesq und 3D-Euler. Eine Wochespäter ist es in Lean verifiziert.1. 9. 2026OpenAI startet einen 88-Stunden-Lauf mitrund 10 000 Agenten auf Navier–Stokes.7. 9. 2026Kurz vor Mitternacht veröffentlichtBuckmaster eine Stellungnahme. TerenceTao bespricht die Euler-Resultate inseinem Blog.8. 9. 2026OpenAI kündigt einen Beweis für Blow-upim 3D-Navier–Stokes an: 166 Seiten, inLean formalisiert. Das Preisgeld wirdnicht beansprucht.11. 9. 2026Das Clay Institute: „apparentlysettled“. Status „active“; entschiedenwird erst nach Peer-Review.13. 9. 2026Im Datenstreit erklärt OpenAI, keineNutzereingaben nach dem 3. Juli hättendas System beeinflusst.
Abb. d. Chronologie. Die Achse ist zwischen 2000, 2023 und August 2026 unterbrochen.

Der Durchbruch hat zwei Wurzeln. Córdoba und Martínez-Zoroa bauten Singularitäten als unendliche Kaskade: eine Folge von Teillösungen auf immer kleineren Skalen, zusammengefügt zu einer einzigen. Alpöge und Buckmaster haben die Methode mit Hilfe von Sprachmodellen auf die Euler-Gleichungen gebracht, mit glatter äußerer Kraft.

OpenAI nahm sich Navier–Stokes am 1. September vor, nach Gerüchten über genau diese Arbeit, und kündigte eine Woche später den Beweis an. Seitdem wird über Priorität gestritten und darüber, ob Nutzerdaten der beiden Mathematiker in das Modell eingeflossen sind. Terence Tao sieht in den Euler-Resultaten nichts, was eine Übertragung auf Navier–Stokes grundsätzlich verhindert.

Was genau behauptet wird

  • Beansprucht: Zusammenbruch in endlicher Zeit, Alternativen (C) und (D), glatte Anfangsdaten und glatte Kraft.
  • Offen bleiben formal (A) und (B). Sie verlangen 𝑓 ≡ 0. Eine Konstruktion mit äußerer Kraft widerlegt sie nicht; für den Preis genügt aber eine der vier.
  • Geprüft ist der Beweis bisher maschinell in Lean, nicht durch Peer-Review. Clay entscheidet erst nach Veröffentlichung.
  • Abb. a zeigt die Logik einer Kaskade, nicht die Geometrie der eingereichten Lösung.