OpenAI beansprucht Navier–Stokes-Lösung – doch die Prüfung beginnt erst
OpenAI hat am 8. September 2026 einen analytischen Beweis samt Lean-Formalisierung veröffentlicht und beansprucht damit die Lösung des Navier–Stokes-Millennium-Problems. Der Bericht von Nature ordnet das Ergebnis ausdrücklich als Behauptung des Unternehmens ein; eine unabhängige fachliche Bestätigung oder Anerkennung durch das Clay Mathematics Institute liegt bislang nicht vor.
Die am selben Tag vorgestellte Arbeit soll zeigen, dass eine zunächst ruhende, glatte dreidimensionale Strömung unter einer glatten äußeren Kraft in endlicher Zeit eine Singularität entwickeln kann. Veröffentlicht sind ein Manuskript und maschinenprüfbarer Code – bestätigt ist damit zunächst, was OpenAI beansprucht und zur Prüfung bereitgestellt hat, nicht die endgültige Lösung durch die mathematische Gemeinschaft.
Was OpenAI tatsächlich bewiesen haben will
Das Millennium-Problem fragt, ob glatte Lösungen der dreidimensionalen inkompressiblen Navier–Stokes-Gleichungen für alle Zeiten glatt bleiben. Zulässig ist entweder ein Regularitätsbeweis oder ein Gegenbeispiel, bei dem eine anfangs glatte Lösung in endlicher Zeit singulär wird.
Die Veröffentlichung von OpenAI beansprucht den zweiten Weg für die Varianten C und D der offiziellen Aufgabenstellung. In der Konstruktion wird ein Wirbel immer stärker gestreckt und räumlich konzentriert, während die Geschwindigkeit unbegrenzt anwächst. Die äußere Kraft soll glatt und die Energie während der gesamten Entwicklung endlich bleiben.
Das ist keine Methode, mit der sich nun jede reale Wasser- oder Luftströmung exakt berechnen ließe. Die Arbeit beschreibt eine mathematisch zugelassene, gezielt erzwungene Strömung; die Singularität würde anzeigen, dass das Gleichungsmodell unter diesen Bedingungen seine glatte Lösung verliert. Falls das Argument stimmt, genügt dieses Gegenbeispiel dennoch, um die geforderte globale Glattheit zu widerlegen.
Warum ein Lean-Beweis noch keine unabhängige Anerkennung ist
Lean kann kontrollieren, ob die formal codierten Schlussfolgerungen aus den eingegebenen Definitionen, Voraussetzungen und Hilfssätzen folgen. Das ist eine deutlich strengere technische Kontrolle als ein bloßes Manuskript, beseitigt aber nicht jede offene Frage: Fachleute müssen unter anderem prüfen, ob der formalisierte Satz exakt der beanspruchten Clay-Variante entspricht und ob Manuskript und Code dieselbe mathematische Konstruktion abbilden.
Auch das institutionelle Verfahren beginnt nicht mit einer direkten Einreichung bei Clay. Nach den Regeln des Clay Mathematics Institute muss eine vorgeschlagene Lösung in einem qualifizierten Publikationsorgan erscheinen, danach mindestens zwei Jahre bestehen und allgemeine Anerkennung in der weltweiten Mathematikgemeinschaft finden, bevor das Institut sie erwägt. OpenAI erklärt, den mit einer Million US-Dollar dotierten Preis nicht beanspruchen zu wollen.
Die drei Statusstufen bleiben deshalb getrennt: OpenAI hat eine Lösung behauptet, Lean hat die von OpenAI codierte Ableitung akzeptiert, und die unabhängige wissenschaftliche Begutachtung steht aus. Erst die dritte Stufe kann zeigen, ob der Lösungsanspruch fachlich trägt.
Der enorme Rechenaufwand ist kein Gütesiegel
Für die Suche setzte OpenAI nach eigener Darstellung eine Gruppe von ungefähr 10.000 gleichzeitig arbeitenden Agenten ein. Sie erreichten den beanspruchten Navier–Stokes-Beweis nach rund 88 Stunden; die Formalisierung und Verifikation mit GPT-6 Astra beanspruchte weitere 17 Stunden. Insgesamt nennt das Unternehmen für den Navier–Stokes-Lauf etwa 2,7 Millionen Nachrichten und rund 130 Milliarden ausgegebene Tokens.
Nach dem Bericht von Axios bezifferten OpenAI-Verantwortliche die Rechenkosten gegenüber Journalisten auf mehrere Millionen US-Dollar. Axios dokumentiert zugleich den Konflikt mit Tristan Buckmaster und Levent Alpöge sowie OpenAIs Position, nicht auf deren konkrete Nutzerdaten zugegriffen zu haben.
Diese Größenordnungen zeigen, wie stark sich automatisierte mathematische Suche parallelisieren lässt. Sie liefern jedoch keinen zusätzlichen Beleg für die Richtigkeit: Zehntausend Agenten und ein teurer Rechenlauf können einen überprüfbaren Kandidaten erzeugen, ersetzen aber weder das Verständnis des Arguments noch eine unabhängige Begutachtung.
Die parallelen Arbeiten lösen nicht dasselbe Problem
Der Prioritätsstreit betrifft eng verwandte Forschungswege, aber unterschiedliche Resultate. Der NYU-Mathematiker Tristan Buckmaster und Levent Alpöge, der bei Anthropic beschäftigt ist, arbeiteten privat an Singularitäten in mehreren Gleichungen der Strömungsmechanik. Ihre Ergebnisse betreffen unter anderem die Boussinesq-Gleichungen und die dreidimensionalen inkompressiblen Euler-Gleichungen mit glatter äußerer Kraft – nicht den von OpenAI beanspruchten vollständigen Navier–Stokes-Fall.
Nach Buckmasters eigener Darstellung erzielten er und Alpöge die Boussinesq- und Euler-Resultate am 15. August und schlossen deren Lean-Prüfung am 22. August ab. OpenAI setzte sein groß angelegtes Programm am 1. September nach Gerüchten über Fortschritte bei Millennium-Problemen an, datiert seinen Navier–Stokes-Kandidaten auf den 5. September und den Abschluss der Formalisierung auf den 6. September.
Buckmaster zufolge erreichten Informationen über die unveröffentlichte Forschungsrichtung OpenAI, bevor das Unternehmen seinen Lauf begann; außerdem schildert er umstrittene Vorschläge zur Präsentation und Autorenschaft. Er setzt seiner Darstellung jedoch selbst eine klare Grenze: Er habe OpenAIs Beweis damals nicht gesehen, wisse nicht, wie das Modell zum Resultat gelangt sei, und behaupte nicht, dass ihre Daten verwendet wurden.
OpenAI erklärt dagegen, weder seine Beschäftigten noch die eingesetzten Agenten hätten vor der öffentlichen Freigabe Zugriff auf die konkrete Arbeit der beiden Forscher gehabt. Das Unternehmen kann nach eigener Aussage allerdings nicht vollständig ausschließen, dass anonymisierte Daten aus einer früheren Produktnutzung irgendwann zur Modellverbesserung beitrugen. Damit sind sowohl ein nachgewiesener Datentransfer als auch eine abschließende Klärung des Informationswegs bislang nicht belegt.
Entscheidend sind nun Reproduktion und Fachprüfung
Der belastbare Stand ist daher enger als das Wort „Lösung“ vermuten lässt: OpenAI hat einen konkreten Beweisanspruch, ein analytisches Manuskript und eine Lean-Formalisierung öffentlich gemacht. Noch offen ist, ob unabhängige Mathematiker den Code reproduzieren, die Übereinstimmung mit der Clay-Aufgabe bestätigen und das Argument fachlich akzeptieren.
Der Prioritätskonflikt muss davon getrennt beurteilt werden. Ein mathematisch korrekter Navier–Stokes-Beweis würde nicht automatisch klären, wie OpenAI von der Forschungsrichtung erfuhr oder wie parallele Vorarbeiten anzuerkennen sind. Umgekehrt entscheidet die Kontroverse um Informationen und Autorenschaft nicht darüber, ob der veröffentlichte Beweis stimmt.
Lesen Sie auch:
Newsletter abonnieren
Erhalten Sie die neuesten Nachrichten zu Web3, KI und Krypto direkt in Ihren Posteingang.