OpenAI hat einen Beweis zur Lösung des Navier–Stokes-Millenniumproblems veröffentlicht. Das Clay Mathematics Institute nimmt den Durchbruch ernst, hat aber noch keinen Preis vergeben. Damit ist die Geschichte erheblich mehr als ein Gerücht. Dennoch muss ein Faktencheck zwischen dem veröffentlichten mathematischen Ergebnis, seinem Anerkennungsverfahren und dem Streit über wissenschaftliche Vorleistungen unterscheiden.
Der Spektrum-Podcast vom 18. September 2026 behandelt alle drei Ebenen über 26:38 Minuten. Das Gespräch wurde nach eigener Angabe am 14. September aufgezeichnet. Evidico prüft die zentralen Aussagen anhand des Originalmanuskripts, der offiziellen Problem- und Preisregeln sowie der Stellungnahmen der Beteiligten. Eine eigenständige vollständige Begutachtung aller mathematischen Beweisschritte ist dieser Artikel nicht.
Was genau bewiesen werden soll
Navier–Stokes-Gleichungen beschreiben Strömungen. Das Preisproblem fragt, vereinfacht, ob hinreichend glatte Anfangsdaten unter genau festgelegten Voraussetzungen stets zu regulären Lösungen führen oder ob es einen Zusammenbruch geben kann. „Glatt“ bedeutet dabei mathematisch hinreichend gut differenzierbar. Die Frage ist nicht, ob ein Computer irgendeine Strömung näherungsweise berechnen kann.
Das veröffentlichte 166-seitige Manuskript konstruiert nach seinem Hauptsatz eine dreidimensionale inkompressible Strömung mit einer glatten äußeren Kraft. Aus anfänglicher Ruhe soll innerhalb endlicher Zeit eine unbeschränkte Geschwindigkeit entstehen, während die kinetische Energie beschränkt bleibt. Das ist die genaue Reichweite des beanspruchten Ergebnisses. Die populäre Vorstellung einer plötzlich explodierenden Kaffeetasse illustriert die mathematische Singularität, ist aber keine Vorhersage für ein reales Küchenexperiment.
Die äußere Kraft ist Teil der offiziellen Aufgabenstellung
Eine oft übersehene Feinheit: Die offizielle Formulierung von Charles Fefferman nennt vier alternative Wege A bis D. A und B behandeln globale Existenz und Glattheit ohne äußere Kraft; C und D erlauben für einen Zusammenbruch eine glatte äußere Kraft. Es genügt, eine der geforderten Alternativen zu etablieren.
Ein Beweis mit äußerer Kraft ist deshalb nicht automatisch ein Ausweichen auf eine unzulässige Ersatzaufgabe. Umgekehrt wäre die Aussage zu weit, damit seien sämtliche Fragen zu ungetriebenen dreidimensionalen Navier–Stokes-Strömungen beantwortet. Der Unterschied zwischen dem konkreten Preisproblem und dem weiteren Forschungsgebiet bleibt auch nach einem anerkannten Durchbruch bestehen.
Clay begrüßt die Ankündigung, die Anerkennung läuft getrennt
Das Clay Mathematics Institute erklärte am 11. September, das Problem scheine gelöst, und begrüßte die Aussicht auf neue mathematische Einsichten. Zugleich verwies es auf den bewusst sorgfältigen Bewertungs- und Anerkennungsprozess. Die Podcast-Einleitung ist daher zu kategorisch, wenn sie den endgültigen Status schon als erledigt vermittelt. Im weiteren Gespräch wird die noch ausstehende Prüfung allerdings ausdrücklich nachgetragen.
Die angemessene Zwischenbilanz lautet: Es liegt eine substanzielle Veröffentlichung vor, die von der zuständigen Institution ernst genommen wird. Daraus folgt weder, dass die wissenschaftliche Prüfung überflüssig sei, noch dass jede frühe Anerkennung unbegründeter Hype wäre. Entdeckung, öffentliche Nachvollziehbarkeit und formelle Preisentscheidung können zeitlich auseinanderliegen.
Ein starkes KI-Ergebnis ist nicht voraussetzungslos entstanden
Der Podcast nennt die Arbeit zeitweise ein reines KI-Ergebnis, beschreibt später aber zugleich menschliche Vorarbeiten und den aufwendigen Forschungsprozess. Die European Mathematical Society betont ausdrücklich die Verbindung zur Strategie von Diego Córdoba, Luis Martínez-Zoroa und Fan Zheng sowie zu Fortschritten von Levent Alpöge und Tristan Buckmaster. Dahinter stehen weitere Jahrzehnte mathematischer Forschung.
Diese Einordnung schmälert einen möglichen neuen Beweis nicht. Sie verhindert eine falsche Entstehungsgeschichte: Ein KI-System kann entscheidende neue Schritte finden und dennoch vorhandene Begriffe, Methoden und Ergebnisse verwenden. Für wissenschaftliche Anerkennung ist relevant, welche Beiträge neu sind, worauf sie aufbauen und wie andere Forschende sie überprüfen können.
88 Stunden sind eine Unternehmensangabe mit Zusatzbedingungen
Nach OpenAIs eigener Darstellung erreichte das System nach rund 88 Stunden eine Lösung; die Lean-Formalisierung und -Prüfung dauerte weitere 17 Stunden. Die erfolgreiche Gruppe umfasste in der Größenordnung 10.000 gleichzeitig arbeitende Agenten. Das bestätigt die Größenordnung aus dem Gespräch, aber nicht das Bild eines gewöhnlichen Chatdialogs. Die Angaben sind hier als Unternehmensangaben wiedergegeben, nicht als unabhängig gemessene Laufzeit.
Die vorherige Modellentwicklung und die Forschungsgeschichte sind darin nicht enthalten. Aus dem berichteten Zeitintervall lässt sich daher weder der Gesamtaufwand noch der Preis eines vergleichbaren wissenschaftlichen Projekts ableiten. Der Podcast ergänzt den hohen Ressourceneinsatz später selbst. Für die Behauptung eines genau bezifferbaren wirtschaftlichen Vorteils reichen die öffentlich geprüften Daten nicht.
Was beim Streit dokumentiert ist
In seiner persönlichen Stellungnahme beschreibt Buckmaster eigene, KI-unterstützte Fortschritte mit Alpöge bei verwandten Gleichungen. Er schildert auch Gespräche, in denen nach seiner Darstellung Alpöge von einer möglichen Autorenschaft ausgeschlossen werden sollte. Zugleich hält er ausdrücklich fest, nicht zu wissen, ob ihre Daten von OpenAI verwendet wurden.
Damit ist das Vorliegen eines ernsthaften Konflikts belegt. Die Wahrheit sämtlicher strittiger Gesprächsinhalte oder ein Zugriff auf unveröffentlichte Forschung ist dadurch nicht unabhängig erwiesen. Ähnliche Methoden und zeitliche Nähe können Fragen auslösen; sie sind allein kein Nachweis für die Übernahme privater Daten. Der Podcast kennzeichnet Teile dieser Erzählung selbst als Darstellung Buckmasters. Diese Einschränkung gehört untrennbar dazu.
Die Aussage über mögliche Trainingsdaten ist nicht mehr der aktuelle Stand
Um Minute 16:54 wird sinngemäß gesagt, OpenAI könne nicht ausschließen, dass Buckmasters Eingaben ins Training eingeflossen seien. Die öffentliche Unternehmensstellungnahme wurde jedoch bereits am 10. September ergänzt: OpenAI erklärt dort, die untersuchten Codex-Eingaben aus den beiden vorhergehenden Monaten hätten das verwendete System auch durch Training nicht beeinflussen können.
Diese spätere, eindeutigere Gegenposition fehlt im am 14. September aufgenommenen Gespräch. Als Wiedergabe von OpenAIs öffentlichem Stand ist die Passage daher überholt. Die Korrektur beweist allerdings nicht von sich aus die Richtigkeit des Untersuchungsergebnisses. Unternehmensinterne Schlussfolgerung und unabhängige Prüfung bleiben getrennt. Evidico kann aus den verlinkten Dokumenten weder einen Datendiebstahl feststellen noch die gesamte interne Datenkette selbst auditieren.
Was ein Lean-Nachweis tatsächlich absichert
Die technische Grundunterscheidung im Podcast ist richtig: Ein formaler Beweisprüfer ist etwas anderes als ein Sprachmodell, das plausibel klingende Mathematik erzeugt. Nach der Lean-Dokumentation zur Beweisvalidierung prüft der Kern, ob ein formalisierter Satz aus den verwendeten Definitionen, Sätzen und Axiomen folgt. Die Dokumentation zu Axiomen erläutert zusätzlich, dass das Vertrauen in einen Beweis von seinen Annahmen abhängt.
Deshalb muss auch bei einem akzeptierten formalen Beweis klar sein, dass die formalisierte Aussage wirklich der beabsichtigten Aufgabe entspricht. Ein Häkchen auf einem Bildschirm allein klärt weder die Bedeutung aller Definitionen noch die Herkunft wissenschaftlicher Ideen. Der Podcast macht diese Einschränkung gegen Ende erfreulich deutlich. Evidico hat die Veröffentlichung des Nachweises und seine beanspruchte Reichweite geprüft, nicht den kompletten Lean-Nachweis selbst neu ausgeführt.
Zwei Jahre sind eine Mindestbedingung, kein Auszahlungstermin
Die Preisregeln verlangen drei Bedingungen, bevor Clay eine vorgeschlagene Lösung berücksichtigt: Veröffentlichung in einem geeigneten Publikationsorgan, mindestens zwei Jahre seit dieser Veröffentlichung und allgemeine Anerkennung durch die weltweite Fachgemeinschaft. Das bedeutet nicht, dass genau zwei Jahre nach einem Blogbeitrag automatisch ein Preis fällig wird. Die im Podcast genannte Wartezeit ist somit im Kern richtig, aber verkürzt.
OpenAI erklärt zudem, den Preis nicht beanspruchen zu wollen. Auch der historische Vergleich stimmt: Das Vorwort der Clay-Tagungsakten zur Poincaré-Vermutung bestätigt, dass Grigori Perelman den Millennium-Preis nicht annahm. Daraus lässt sich aber noch keine endgültige Entscheidung über mögliche Empfänger oder Anerkennungsfragen des neuen Ergebnisses ableiten.
Das Urteil
Der Podcast berichtet über einen realen, bedeutenden Beweisanspruch, vermischt aber an einigen Stellen Ergebnis, Anerkennung und Entstehungsgeschichte. Die Grundbeschreibung des Problems und der formalen Prüfung ist überwiegend richtig. Die Aussage zur möglichen Nutzung privater Eingaben lässt eine bereits veröffentlichte Gegenposition aus. Prognosen über das Ende mathematischer Berufe bleiben Prognosen. Ein möglicher historischer Durchbruch verdient dieselbe Genauigkeit wie die weiterhin offenen Fragen nach Prüfung und wissenschaftlicher Anerkennung.