OpenAI will mit KI eines der Millennium-Probleme gelöst haben. Am 8. September 2026 kündigte das Unternehmen einen Beweis zu Navier–Stokes an, den Gleichungen zur Beschreibung von Fluidbewegungen. Es behauptet, eine anfangs reguläre Strömung konstruiert zu haben, die eine Singularität entwickelt: Geschwindigkeiten, die in endlicher Zeit unbeschränkt wachsen.
Bestätigt sich der Beweis, wäre das ein enormer Fortschritt bei einer seit Jahrzehnten offenen Frage. Die Ankündigung wird von einem Streit mit den Mathematikern Tristan Buckmaster und Levent Alpöge über Priorität, Urheberschaft und Forschungsdaten begleitet. Doch selbst unabhängig davon gibt es einen mathematischen Grund, die Sache nicht als abgeschlossen zu betrachten.
Die Konstruktion verwendet eine äußere Kraft. Dass ein Fluid mit diesem Eingriff seine Regularität verlieren kann, entscheidet für sich genommen nicht, ob es das auch ohne ihn kann.
Dieses Detail ist wichtig, weil die Aufgabenstellung diesen Weg zulässt. Das Millennium-Problem könnte gelöst sein, während eine der naheliegendsten Fragen zu den Gleichungen offenbleibt.
OpenAIs Ankündigung verlinkt ein Manuskript und eine Formalisierung in Lean, einem Beweisassistenten. Hier betrachten wir die Reichweite der Behauptung. Weder die Ankündigung noch die Existenz einer Formalisierung ersetzen eine unabhängige mathematische Prüfung.
Was es heißt, dass ein Fluid seine Regularität verliert
Wasser in einem Rohr und Luft um ein Flugzeug sind Beispiele für Strömungen, die wir mit Navier–Stokes untersuchen. Wir nutzen diese Gleichungen seit über einem Jahrhundert. Ihr Nutzen setzt nicht voraus, dass wir ihr Verhalten in jeder denkbaren Situation vollständig kennen.
Das Clay-Problem behandelt einen bestimmten Fall: ein inkompressibles Fluid mit positiver Viskosität in drei Dimensionen. Inkompressibel bedeutet, dass jedes kleine Fluidvolumen beim Bewegen sein Volumen behält. Es kann sich verformen und drehen, aber nicht zusammendrücken lassen.
Wir beginnen mit einem glatten Geschwindigkeitsfeld ohne Sprünge oder anfängliche Singularitäten. Für mindestens ein gewisses Zeitintervall können wir die Lösung verfolgen. Die Frage ist, ob sich das unbegrenzt fortsetzen lässt oder ob die Entwicklung selbst diese Glattheit zerstören kann. Das nennt man Blow-up.
Gesucht ist keine Formel für jede mögliche Wasserbewegung. Die Frage ist, ob die glatte mathematische Beschreibung in endlicher Zeit aufhören kann zu existieren.
In den Gleichungen wirken zwei Tendenzen. Die Viskosität glättet Geschwindigkeitsunterschiede und dissipiert Energie. Die nichtlineare Dynamik erlaubt es der Bewegung, ihre eigene Struktur umzuorganisieren. In drei Dimensionen kann die Streckung von Wirbeln die Rotation verstärken und kleinere Skalen erzeugen.
Anschaulich konkurrieren Glättung und Konzentration. Dass Viskosität glättet, beweist nicht, dass sie immer gewinnt. Auch die Kontrolle der Gesamtenergie genügt nicht, um das Geschehen in einer immer kleineren Region zu kontrollieren. Diese Lücke zwischen globaler Kontrolle und lokalem Verhalten steht im Mittelpunkt von Terence Taos Erklärung der Schwierigkeit des Problems.
Clays Aufgabenstellung hat eine wichtige Asymmetrie
Charles Feffermans offizielle Formulierung bietet vier Alternativen. Sie kombinieren zwei Arten von Ergebnissen mit zwei räumlichen Situationen:
| Ergebnis | Gesamter Raum | Periodischer Raum | Äußere Kraft |
|---|---|---|---|
| Glatte Lösungen existieren für alle Zeiten | A | B | Auf null gesetzt |
| Zusammenbruch der geforderten globalen Existenz | C | D | Unter genauen Bedingungen erlaubt |
Den periodischen Raum kann man sich als Kasten vorstellen, dessen Muster sich in jede Richtung wiederholt. So lässt sich die Dynamik ohne Wände untersuchen.
Entscheidend ist die letzte Spalte. Für den Regularitätsweg muss gezeigt werden, dass alle zulässigen Anfangsdaten ohne äußere Kraft für immer glatte Lösungen erzeugen. Der Weg über einen Zusammenbruch erlaubt ein Gegenbeispiel mit äußerer Kraft.
Diese Wege sind also keine Aussage und deren exakte Verneinung. Die Verneinung von „Alle Strömungen ohne Kraft bleiben glatt“ wäre eine Strömung ohne Kraft, die ihre Glattheit verliert. Ein erlaubter Eingriff erweitert die Klasse der Bewegungen, in der wir ein Gegenbeispiel suchen können.
Ein Beweis mit äußerer Kraft würde für sich genommen die universelle Regularität des kraftfreien Falls nicht widerlegen. Dazu wäre ein weiterer Zusammenhang zu beweisen. Hier liegt der mögliche Grund zur Unzufriedenheit: Die Preisaufgabe und unsere Frage über das Fluid haben unterschiedliche Reichweiten.
Warum eine zusätzliche Kraft das Ergebnis nicht trivial macht
Der Einwand liegt nahe: Wenn wir auf das Fluid einwirken dürfen, verursachen wir den Zusammenbruch dann nicht künstlich?
Wir wählen einen Eingriff, dürfen dabei aber die Singularität nicht einschmuggeln. Eine unendlich werdende Kraft anzulegen und anschließend auf die ebenfalls explodierende Geschwindigkeit zu zeigen, würde nicht genügen.
Auch „glatt“ erfasst nicht alle Bedingungen von Clay. Im gesamten Raum müssen die Kraft und ihre Ableitungen räumlich und zeitlich schnell abfallen. Im periodischen Fall gelten räumliche Periodizität und zeitliche Abklingbedingungen. Die Kraft muss die Voraussetzungen auch beim Durchlaufen des angenommenen Singularitätszeitpunkts erfüllen.
Der Hauptsatz in OpenAIs Manuskript behauptet etwas Konkretes: Für jede positive Viskosität wird eine Entwicklung konstruiert, die aus der Ruhe beginnt, ihre kinetische Energie beschränkt hält und unbeschränkte Geschwindigkeiten entwickelt. Die Kraft ist glatt und hat in Raum und Zeit kompakten Träger. Sie wirkt also nur innerhalb eines begrenzten Gebiets und Zeitraums.
Die Einleitung beschreibt einen Wirbel, der sich konzentriert und beschleunigt. Die Schwierigkeit besteht darin, die Terme der Gleichung so auszubalancieren, dass ihre Kombination eine reguläre Kraft ergibt, obwohl einige unbeschränkt wachsen. Oszillierende Korrekturen sollen die singulären Anteile aufheben, die sonst in dieser Kraft auftreten würden.
Das beschreibt den vorgelegten Ansatz, ohne seine Schritte zu bestätigen. Es erklärt aber, warum eine erlaubte Kraft die Aufgabe nicht einfach macht: Die Kraft muss regulär bleiben, während die Bewegung diese Eigenschaft verliert.
Welche Frage bleibt, wenn wir f = 0 schreiben?
Hat man die Rolle des Eingriffs verstanden, scheint der nächste Schritt offensichtlich: ihn entfernen.
In der Gleichung genügt f = 0. Im Beweis kann das alles verändern. Die Kraft gehört zur Konstruktion. Sie zu streichen erhält nicht automatisch das zuvor erreichte Verhalten.
Nun lautet die Frage, ob die Anfangsbewegung unter Navier–Stokes ohne äußere Kraft aus eigener Dynamik eine Singularität erzeugen kann. Ein Gegenbeispiel, das die Kraft benötigt, entscheidet das nicht.
Auch die andere Möglichkeit muss ernst genommen werden: Der kraftfreie Fall könnte einen Schutz besitzen, der bei erlaubten Eingriffen nicht bestehen bleibt. Ein isoliert betrachtetes Ergebnis über einen erzwungenen Zusammenbruch schließt dieses Szenario nicht aus.
Das würde den Fortschritt keineswegs klein machen. Zu zeigen, dass eine Klasse von Entwicklungen Singularitäten zulässt, würde unser Wissen über die Gleichungen verändern. Die nächste Entdeckung käme aber daher, zu verstehen, welcher Teil des Mechanismus von der Kraft abhängt und ob man auf sie verzichten kann, statt nur zu wiederholen, das Problem sei gelöst.
Eine mögliche Singularität beschreibt nicht jedes Fluid
Die Existenz eines Falls sagt nichts über seine Häufigkeit aus. Eine Konstruktion kann von außerordentlich präzisen Bedingungen abhängen. Kleine Störungen könnten den Mechanismus zerstören; eine große Familie von Bewegungen könnte ihn erhalten. Aus der Existenz allein folgt nicht, welche Möglichkeit zutrifft.
Ebenso wenig bedeutet sie, dass reales Wasser unendlich schnell wird. Navier–Stokes ist ein Kontinuumsmodell. Eine Konstruktion in eine physikalische Behauptung zu übersetzen erfordert die Prüfung, ob ihre Voraussetzungen auf den beteiligten Skalen noch angemessen sind.
Eine weitere Unterscheidung hilft: Der Verlust von Glattheit bedeutet nicht den Verlust jeder mathematischen Beschreibung. Schwache Lösungen drücken die Gleichungen durch Integralbeziehungen aus und erlauben geringere Regularität. Unter geeigneten Voraussetzungen liefert die von Leray begründete Theorie globale schwache Lösungen.
Der Zusammenbruch einer glatten Lösung beseitigt diese Theorie nicht. Er eröffnet Fragen zur Fortsetzung, zu erhaltenen Energiebedingungen und zur Eindeutigkeit innerhalb der gewählten Lösungsklasse. Unterschiedliche Begriffe schwacher Lösungen bieten unterschiedliche Garantien.
Worum der Streit mit den Mathematikern geht
Hinter der Nachricht steht auch eine menschliche Geschichte, die nicht verschwinden sollte. In seiner öffentlichen Erklärung beschreibt Buckmaster seine Zusammenarbeit mit Alpöge als persönlich, obwohl dieser bei Anthropic arbeitet. Die Ausgangsidee schreibt er Diego Córdoba und Luis Martínez-Zoroa zu.
Er wirft Sébastien Bubeck vor, Alpöges Ausschluss aus einem Vorschlag zur Autorschaft verlangt zu haben, und berichtet von Äußerungen über die Folgen für seine Karriere, sollte er den Streit öffentlich machen. Das sind Buckmasters Aussagen über private Gespräche. Zudem fragt er, ob seine Codex-Sitzungen ins Training eingeflossen sein könnten, betont aber, nicht zu wissen, ob seine Daten verwendet wurden.
OpenAI räumt ein, dass Gerüchte über diese Fortschritte die eigene Initiative angestoßen haben. Das Unternehmen bestreitet einen Zugriff auf die Arbeiten vor ihrer Veröffentlichung, schließt jedoch nicht aus, dass de-identifizierte Nutzungsdaten seiner Produkte zur Modellverbesserung beigetragen haben. Es hält die Beweise für unterschiedlich und erkennt die Priorität der Forscher bei Euler mit äußerer Kraft an. Das ist die Position des Unternehmens.
Diese Antworten lassen Fragen offen. Zweifel am Training beweisen keine Aneignung von Ergebnissen. Eine Darstellung des technischen Ablaufs klärt für sich genommen aber auch nicht die Vorwürfe zur Autorschaft. Die Chronologie, die Herkunft der Ideen und die vorgeschlagenen Bedingungen benötigen jeweils eigene Belege.
Die Spannung reicht über diesen Fall hinaus: Forschende können Werkzeuge eines Unternehmens nutzen, das zugleich um Fortschritte in ihrem Fachgebiet konkurriert. Ein korrekter Beweis würde diese Vertrauensfrage nicht erledigen. Fragwürdiges Verhalten, falls es nachgewiesen würde, widerlegte umgekehrt nicht von selbst das mathematische Argument.
Lösen sollte auch beim Verstehen helfen
Fortschritte entstehen nicht aus dem Nichts. In seiner Erklärung vom 7. September ordnet Tao Alpöges und Buckmasters Arbeiten einer früheren Forschungslinie von Córdoba und Martínez-Zoroa zu. Die besprochenen Ergebnisse betreffen andere Fluidgleichungen: inkompressible poröse Medien, Boussinesq und Euler. Euler lässt die Viskosität weg; ein Fortschritt dort löst nicht automatisch Navier–Stokes.
Zu verstehen, was sich zwischen diesen Gleichungen übertragen lässt, gehört zum wissenschaftlichen Wert der Beweise. Ebenso wichtig sind die Rolle der Kräfte, die Stabilität von Singularitäten und das Geschehen nach dem Verlust der Glattheit.
Die Anerkennung des Ergebnisses folgt einem eigenen Verfahren. Bevor Clay einen Lösungsvorschlag berücksichtigt, verlangen seine Regeln eine Veröffentlichung in einem geeigneten Publikationsmedium, mindestens zwei Jahre seit der Veröffentlichung und allgemeine Akzeptanz in der mathematischen Gemeinschaft. Dieses Verfahren unterscheidet sich von der heutigen Prüfung, ob das Argument korrekt ist.
Bestätigt sich der Beweis, hätten wir etwas Grundlegendes gelernt: Die in der Konstruktion zugelassenen Bedingungen genügen nicht, um das Fluid vor einer Singularität zu schützen. Die nächste Frage wäre, was den Zusammenbruch verursacht und wie stark er vom äußeren Eingriff abhängt.
Ein gelöstes Problem liefert eine Schlussfolgerung. Den Beweis zu verstehen sollte erklären, warum das Phänomen auftritt und wie weit das Ergebnis reicht. Hier beginnt eine Arbeit, die keine Schlagzeile „Navier–Stokes gelöst“ für beendet erklären kann.
Quellen
- OpenAI: Ankündigung und Stellungnahme zu parallelen Arbeiten, 8. September 2026.
- OpenAI: Manuskript „Finite time blowup for Navier–Stokes“.
- OpenAI: Repository der Lean-Formalisierungen.
- Charles Fefferman / Clay: offizielle Aufgabenstellung mit Errata.
- Clay: Regeln der Millennium-Probleme.
- Tristan Buckmaster: Erklärung zu den Ergebnissen und Gesprächen mit OpenAI.
- Terence Tao: Schwierigkeit der globalen Regularität von Navier–Stokes.
- Terence Tao: Fortschritte mit glatter äußerer Kraft bei verwandten Gleichungen, 7. September 2026.
