Glattheit im ganzen Raum
Für jedes glatte, schnell abfallende u⁰ mit f ≡ 0 gibt es eine glatte Lösung endlicher Energie für alle Zeiten.
offenCLAY MILLENNIUM PROBLEM · MILLENNIUM-PREIS
Der
Durchbruch
Am 8. September 2026 legt OpenAI einen Beweis vor, dass glatte Lösungen der dreidimensionalen Navier–Stokes-Gleichungen in endlicher Zeit zusammenbrechen können. 166 Seiten, formalisiert in Lean. Die Fachwelt prüft noch.
00 — Kurzfassung
Sechs Sätze, die alles verändern
- Der Gegenstand. Die Navier–Stokes-Gleichungen beschreiben Wasser, Luft, Sterne. Seit 1934 ist offen, ob ihre Lösungen in drei Dimensionen für immer glatt bleiben — oder ob Wirbel sich in endlicher Zeit zu einer Singularität aufschaukeln.
- Die Behauptung. Der vorgelegte Beweis beansprucht Feffermans Alternativen (C) und (D): Es gibt glatte Anfangsdaten, für die keine glatte Lösung bis t → ∞ existiert. Damit wäre die zweite Hälfte des Millennium-Problems erledigt.
- Der Mechanismus. Kein einzelner Wirbel reißt — eine unendliche Kaskade aus Wirbelstufen, jede um 1/√2 kleiner und doppelt so schnell wie die vorige, stapelt unendlich viel Wirbelstärke in eine endliche Zeit T* = 2τ.
- Der Prüfstand. Der Beweis liegt als Lean-4-Projekt vor. Maschinelle Verifikation ist stark — aber sie prüft, dass die formalen Schlüsse stimmen, nicht dass die Formalisierung die Analysis trifft, die sie zu treffen behauptet.
- Die Vorläufer. Córdoba & Martínez-Zoroa bauten die Kaskade für Euler und hypodissipatives Navier–Stokes; Alpöge & Buckmaster brachten sie mit Sprachmodellen auf den vollen Fall. Der neue Beweis steht auf ihren Schultern.
- Der Streit. Priorität, Trainingsdaten, ein 88-Stunden-Lauf mit rund 10 000 Agenten und die Frage, wem eine Maschinenleistung gehört: Die mathematische Frage ist die eine, die soziale die andere.
01 — Das Problem
Vier Terme, die die Welt beschreiben
Geschwindigkeit u, Druck p, Viskosität ν, äußere Kraft f. Ob ein Term die Strömung glättet oder zerreißt, entscheidet über eine Million Dollar und ein Jahrhundert Mathematik.
+
=
−
+
∇·u = 0
·
u(x, 0) = u⁰(x)
·
x ∈ ℝ³ oder 𝕋³, t ≥ 0, ν > 0
Wähle einen Term.
Jeder Term trägt eine Rolle: Der Selbsttransport (u·∇)u ist der einzige nichtlineare — er kann Wirbel dehnen und verstärken. Die Reibung νΔu dämpft kleine Skalen und glättet. Der Druck ∇p ist kein eigener Freiheitsgrad: Er wird durch ∇·u = 0 in jedem Moment festgelegt und verteilt Kräfte global.
Warum das schwer ist
Die Gleichung ist nichtlinear und nichtlokal. Der Term (u·∇)u koppelt Geschwindigkeit an ihren eigenen Gradienten: Wo die Strömung schnell ist, transportiert sie sich selbst. Der Druck ist global — eine Wirbelröhre spürt in Mikrosekunden, was am anderen Ende des Raums geschieht. Die Viskosität wirkt nur auf die kleinsten Skalen, und je kleiner die Skala, desto härter arbeitet der nichtlineare Term dagegen.
In zwei Dimensionen rettet die Viskosität alles: Wirbelstärke kann dort nicht gestreckt werden, und glatte Lösungen existieren für alle Zeiten (Ladyzhenskaya 1959, Lions 1969). In drei Dimensionen fehlt genau dieser Schutz. Der Vortex-Stretching-Term der Wirbelstärkegleichung (ω·∇)u kann die Wirbelstärke ω = ∇×u exponentiell wachsen lassen. Ob das Wachstum schnell genug ist, um die Viskosität zu überholen, ist die ganze Frage.
Wirbelstärkegleichung. Wende den Rotationsoperator auf Navier–Stokes an — der Druck fällt heraus, weil ∇×(∇p) = 0. Übrig bleibt ∂tω + (u·∇)ω = (ω·∇)u + νΔω: Transport, Streckung, Diffusion.
Wirbelstärke-Feld
ω = ∇×u
Glattheit auf dem Torus
Für jedes glatte periodische u⁰ mit f ≡ 0 bleibt die Lösung glatt.
offenZusammenbruch im ganzen Raum
Es gibt glatte u⁰, f, für die jede Lösung endlicher Energie nach endlicher Zeit ihre Glattheit verliert.
beanspruchtZusammenbruch auf dem Torus
Es gibt glatte periodische u⁰, f, für die jede Lösung nach endlicher Zeit singulär wird.
beanspruchtEine der vier Alternativen genügt für den Preis. (A) und (B) verlangen f ≡ 0; eine Konstruktion mit äußerer Kraft widerlegt sie formal nicht. Beansprucht sind (C) und (D).
02 — Der Mechanismus
Die unendliche Kaskade
Die Singularität entsteht nicht aus einem Wirbel, sondern aus einer Leiter. Jede Sprosse ist halb so groß und doppelt so schnell wie die vorige — und trägt denselben Beitrag zur Wirbelstärke. Unendlich viele Sprossen passen in endliche Zeit.
Kaskade bei x*
n = 0
Zoom
1.00×
‖ω‖∞
ω₀
t / T*
0.000
Stufe 0. Ein Wirbel der Länge L und Dauer
τ. Alles ist ruhig.
Skala Ln
1.000L
Dauer τn
1.000τ
Wirbelstärke ωn
1.00ω₀
Energie En
1.000E₀
Ln = L·2−n/2 · τn = τ·2−n ·
ωn = ω₀·2n · En = E₀·2−n/2
Jede Stufe trägt ωn·τn = ω₀τ bei. Die Summe über alle Stufen ist ∑ ω₀τ = ∞ — und das Integral ∫0T* ‖ω‖∞ dt divergiert.
SELBSTÄHNLICHKEIT
Skalierung ist alles
Ist u(x,t) eine Lösung, dann auch λu(λx, λ²t) mit passend skaliertem Druck und passend skalierter Kraft. Diese Invarianz erlaubt, eine Lösung zu „zoomen“: Aus einer Stufe wird die nächste, ohne die Gleichung neu zu lösen.
DIE ENERGIE BLEIBT ENDLICH
Kein Widerspruch zur Physik
Die Energie je Stufe fällt wie 2−n/2, die Summe ∑ 2−n/2 konvergiert. Das ist der Trick: Die Kaskade ist energiefreundlich und trotzdem tödlich — sie verletzt keine der klassischen Erhaltungssätze.
BEALE–KATO–MAJDA
Das Orakel von 1984
Beale, Kato und Majda zeigten: Die Lösung bleibt genau dann glatt bis T, wenn ∫0T ‖ω(t)‖∞ dt endlich ist. Die Kaskade konstruiert gerade den divergenten Fall — deshalb genügt sie als Beweis der Singularität.
03 — Der Prüfstein
Das Integral, das nicht konvergiert
Alles hängt an einer einzigen Zahl: der maximalen Wirbelstärke ‖ω(t)‖∞. Solange ihr Zeitintegral endlich bleibt, ist die Lösung glatt. Die Kaskade lässt es divergieren.
‖ω(t)‖∞ gegen die Zeit
log-Skala · die Stufen verdoppeln sich
t = 0.000 τ
Beale–Kato–Majda 1984
∫0T ‖ω(t)‖∞ dt < ∞
Glattheit bis T genau dann, wenn das Integral der maximalen Wirbelstärke endlich ist. Der direkteste Weg zur Singularität.
Prodi–Serrin 1959/1962
u ∈ LptLqx, 2/p + 3/q = 1
Regelmäßigkeit, solange die Geschwindigkeit stark genug integrierbar ist. An der Grenze p = ∞, q = 3 versagt die Aussage — dort sitzt das Problem.
Escauriaza–Seregin–Šverák 2003
u ∈ L∞tL3x ⟹ glatt
Der kritische Grenzfall ist scharf: Eine Lösung, die in L³ beschränkt bleibt, kann nicht zusammenbrechen. Die Kaskade verlässt diesen Raum — und zwar genau so schnell, wie sie darf.
Geometrische Kriterien 1995–
|ω| ≤ C·|∇u| , Wirbelrichtung Lipschitz
Constantine, Fefferman, Cordoba und andere zeigten: Singularitäten brauchen eine fast eindimensionale Ausrichtung der Wirbelstärke. Die Kaskade erzeugt genau diese Ausrichtung — sie ist kein Zufall, sondern die Bedingung.
04 — Die Arbeit
166 Seiten, in Lean geprüft
Der Beweis ist keine Rechnung, sondern eine Konstruktion: eine unendliche Folge von Teillösungen, die zu einer einzigen verschmolzen werden. Hier die Anatomie.
- Skalenansatz. Zerlege die Zeitachse in dyadische Intervalle [τn+1, τn]. In jedem Intervall lebt genau eine Wirbelstufe, räumlich lokalisiert in einem Ball um x*.
- Näherungslösungen. Konstruiere un als exakte Lösung eines modifizierten Problems, das auf der Skala Ln mit dem Original übereinstimmt und darunter künstlich geglättet ist.
- Kleben mit Fehlerkontrolle. Setze un und un+1 zusammen. Die Klebefehler sind klein genug, dass die Differenz in einer schwachen Norm kontrolliert bleibt.
- Kompaktheit. Zeige, dass die Folge in einem geeigneten Raum einen Häufungspunkt u hat, der eine Lösung der Originalgleichung ist — bis auf die Menge {x*} × [0, T*].
- Divergenz. Berechne ‖ωn‖∞ = 2nω₀ auf jeder Stufe. Nach BKM endet die glatte Lösung bei T*.
theorem navier_stokes_blowup
(ν : ℝ) (hν : 0 < ν) :
∃ (u₀ : ℝ³ → ℝ³) (f : ℝ³ → ℝ³),
Smooth u₀ ∧ Smooth f ∧ Decaying u₀ ∧
∃ T > 0, ¬ GloballySmoothSolution ν u₀ f T := by
-- Kaskade: unendliche Folge von Wirbelstufen
obtain ⟨u, hu⟩ := cascade_construction ν hν
-- BKM: divergentes Wirbelstärke-Integral
have hdiv : ¬ IntegrableOn (fun t => ‖vorticity u t‖) (Icc 0 T) :=
cascade_bkm_divergence u hu
exact ⟨_, _, hu.smooth, hu.force, T, hu.pos,
fun h => hdiv (bkm_criterion.mp h)⟩- ~41 000 Zeilen Lean 4, abhängig von mathlib und einer eigenen Kaskaden-Bibliothek.
- Keine sorry. Der Beweis ist vollständig — zumindest formal.
- Kern-Theoreme: cascade_construction, cascade_bkm_divergence, bkm_criterion.
- Build-Zeit: 3 Stunden 14 Minuten auf 64 Kernen; Zertifikat 6,8 GB.
- Formalisierung ist eine Übersetzung. Lean prüft, dass aus den Axiomen die Sätze folgen. Ob die Axiome und Definitionen die Analysis meinen, die der Autor im Kopf hatte, prüft Lean nicht. Genau dort sitzen die klassischen Fehler.
- Die Kraft ist glatt, aber nicht null. Der Beweis liefert (C) und (D) mit f ≠ 0. Für den Preis genügt das. Ein Beweis von (A) oder (B) ist es nicht.
- Die Menge der Singularität. Die Konstruktion erlaubt eine Singularität auf einer Menge vom Hausdorff-Maß null — konsistent mit den partiellen Regularitätsresultaten von Caffarelli, Kohn und Nirenberg.
- Nicht konstruktiv in der Praxis. Die Anfangsdaten existieren, aber ihre Normen sind nicht explizit abschätzbar. Niemand kann sie in ein Windkanal-Experiment stecken.
05 — Der Streit
Wem gehört ein Beweis?
Die Mathematik ist die eine Frage. Die andere: Priorität, Trainingsdaten, und ob eine Maschinenleistung überhaupt eine Autorschaft hat.
Córdoba & Martínez-Zoroa
Bauten die Kaskade 2023–2025 für Euler und hypodissipatives
Navier–Stokes.
„Unsere Methode, ihre Maschine.“
Alpöge & Buckmaster
Übertrugen sie mit Sprachmodellen auf 3D-Euler; Lean-Verifikation binnen
einer Woche.
„Der Weg war gelegt. OpenAI ist ihn gerannt.“
OpenAI
Kündigte am 8. 9. den 166-Seiten-Beweis an, in Lean formalisiert.
„Kein Preisgeld beansprucht. Die Verifikation ist öffentlich.“
Terence Tao
Kommentierte die Euler-Resultate und die Übertragbarkeit.
„Nichts in den Euler-Resultaten verhindert grundsätzlich die
Übertragung.“
Clay Institute
Setzte den Status auf „apparently settled“ — entschieden wird erst nach
Peer-Review.
„Der Preis wird nicht auf Zuruf vergeben.“
Der Datenstreit
OpenAI erklärte, keine Nutzereingaben nach dem 3. Juli hätten das
System beeinflusst.
„Das Modell hat ihre Arbeit gelernt — mit oder ohne Einwilligung.“
06 — Der Preis
Eines von sieben
Am 24. Mai 2000 schrieb das Clay Institute sieben Probleme aus, je eine Million Dollar. Gelöst und anerkannt ist bis heute eines.
- Birch und Swinnerton-Dyer offen
- Hodge-Vermutung offen
- Navier–Stokes Blow-up beansprucht am 8. 9. 2026, in Prüfung
- P vs. NP offen
- Poincaré-Vermutung bewiesen von Perelman 2002/03; Preis 2010 abgelehnt
- Riemannsche Vermutung offen
- Yang–Mills und Massenlücke offen
$ 1 000 000
Die Regeln sind streng: Die Lösung muss in einer begutachteten Fachzeitschrift erscheinen und zwei Jahre lang allgemein akzeptiert sein. Bis dahin bleibt jeder Beweis eine Behauptung — auch ein formalisierter.
07 — Die Chronik
Von Paris nach x*
Sechsundzwanzig Jahre Mathematik, verdichtet auf eine Achse.
-
24. 5. 2000Paris. Das Clay Institute stellt sieben Millennium-Probleme vor. Charles Fefferman formuliert für Navier–Stokes die Alternativen (A) bis (D).
-
2002–2003Perelman. Die Poincaré-Vermutung fällt. Der Millennium-Preis wird 2010 zuerkannt und abgelehnt — bis heute der einzige gelöste Fall.
-
2023–2025Die Kaskade. Diego Córdoba und Luis Martínez-Zoroa konstruieren Blow-up für Euler und erzwungenes Blow-up für hypodissipatives Navier–Stokes. Ihr Werkzeug: die unendliche Kaskade.
-
15. 8. 2026Der Sprung. Levent Alpöge und Tristan Buckmaster erzielen erzwungenes Blow-up für IPM, 2D-Boussinesq und 3D-Euler. Eine Woche später ist es in Lean verifiziert.
-
1. 9. 2026Der Lauf. OpenAI startet einen 88-Stunden-Lauf mit rund 10 000 Agenten auf Navier–Stokes.
-
7. 9. 2026Die Vorwarnung. Buckmaster veröffentlicht kurz vor Mitternacht eine Stellungnahme. Tao bespricht die Euler-Resultate in seinem Blog.
-
8. 9. 2026Der Durchbruch. OpenAI kündigt einen Beweis für Blow-up im 3D-Navier–Stokes an: 166 Seiten, in Lean formalisiert. Das Preisgeld wird nicht beansprucht.
-
11. 9. 2026Der Status. Clay: „apparently settled“. Der Status wechselt auf active; entschieden wird erst nach Peer-Review.
-
13. 9. 2026Der Datenstreit. OpenAI erklärt, keine Nutzereingaben nach dem 3. Juli hätten das System beeinflusst.
-
18. 9. 2026Heute. Der Beweis liegt öffentlich, die Begutachtung läuft. Dieses Dokument ist der Versuch, den Stand lesbar zu machen, ohne ihn zu verkürzen.