OpenAI hat einen Beweisanspruch zum Navier–Stokes-Problem samt Manuskript und Computerformalisation veröffentlicht. Das ist ein konkretes wissenschaftliches Ergebnis zur Prüfung. Daraus folgt weder eine bereits erfolgte Anerkennung durch das Clay Mathematics Institute noch ein Beleg für den im Podcast diskutierten Datendiebstahl.
Was wir prüfen
Die am 7. Oktober veröffentlichte, 48 Minuten und 40 Sekunden lange Podcastfolge von Spektrum und detektor.fm verbindet drei Geschichten: Fortschritte bei mathematischen Strömungsmodellen, einen Streit über wissenschaftliche Anerkennung und die Folgen leistungsfähiger KI für die Forschung. Wir prüfen die zentralen Sachbehauptungen der gesamten Folge anhand öffentlicher Originaldokumente mit Stand 8. Oktober 2026. Aussagen werden sinngemäß wiedergegeben; Gesprächsberichte bleiben als solche gekennzeichnet.
Drei Prüfungen sind auseinanderzuhalten: Was behauptet ein mathematischer Satz genau? Ist sein Beweis fachlich akzeptiert? Was geschah in nichtöffentlichen Gesprächen? Ein Manuskript kann die erste Frage beantworten, ohne die beiden anderen zu entscheiden. Wir haben die maßgeblichen Ergebnisformulierungen und Stellungnahmen geprüft; dies ersetzt keine vollständige fachliche Begutachtung der langen Beweise oder eine eigenständige Ausführung der Formalisationen.
Die Forscher und ihre Vorarbeiten sind real
Das Grundbild der Folge ist belegt: Buckmaster forscht als Professor an der New York University zu Singularitäten und Strömungsgleichungen. Sein Forschungsprofil nennt diese Schwerpunkte ausdrücklich. Die gemeinsame Arbeit mit Vlad Vicol zu nicht eindeutigen schwachen Navier–Stokes-Lösungen wurde im September 2017 als Preprint eingereicht. Schwache Lösungen erfüllen die Gleichungen in einem verallgemeinerten Sinn; ihre Nicht-Eindeutigkeit beantwortet nicht automatisch die Frage nach dem Zusammenbruch zunächst glatter Lösungen.
Alpöges Lebenslauf bestätigt die Geburt 1992 auf Long Island sowie die Harvard-Abschlüsse 2014 in Mathematik und Physik. Beide Abschlüsse stehen dort im selben Jahr; eine zeitliche Folge vom Mathematikabschluss zum späteren Physikmaster lässt sich daraus nicht ableiten. Seine Beschäftigung bei Anthropic wird in den aktuellen öffentlichen Darstellungen beider Seiten vorausgesetzt. Buckmaster bezeichnet ihre Zusammenarbeit als privates Projekt ohne institutionelle Vereinbarung. Die Folge sollte deshalb nicht als Bericht über einen offiziellen Wettkampf zweier institutioneller Forschungsteams gelesen werden.
Was das Millennium-Problem tatsächlich fragt
Die Navier–Stokes-Gleichungen beschreiben ein Fluid als kontinuierliches Medium. Die berühmte Aufgabe betrifft dreidimensionale inkompressible Strömungen: Kann ein zunächst glatter Zustand seine Glattheit in endlicher Zeit verlieren? Dabei wirkt die Viskosität ausgleichend. Entscheidend ist, ob dieser Effekt jeden möglichen Zusammenbruch verhindert. Eine Singularität ist ein mathematischer Verlust von Regularität, kein beobachteter Becher Wasser mit unendlicher Geschwindigkeit.
Die offizielle Aufgabenstellung von Charles Fefferman enthält vier zulässige Antworten. A und B verlangen globale glatte Lösungen für geeignete Anfangsdaten ohne äußere Kraft, im ganzen Raum beziehungsweise unter periodischen Bedingungen. C und D erlauben Gegenbeispiele mit einer glatten äußeren Kraft, die zusätzliche Abklingbedingungen erfüllt. Ein korrektes Resultat für C oder D wäre deshalb eine Antwort auf die ausgeschriebene Aufgabe. Es würde zugleich nicht jede Frage zu kraftfreien Strömungen beantworten. Diesen Unterschied arbeitet die Folge im späteren Teil zu Recht heraus.
Näherungsrechnung und Singularität sind verschiedene Fragen
Dass Ingenieure Strömungen numerisch berechnen, ist kein Widerspruch zum offenen Grundproblem. Die Folge formuliert allerdings zu weitgehend, man könne in der Praxis beliebig genau an eine Lösung herankommen und das reiche eigentlich immer aus. Daraus lässt sich keine allgemeine Garantie für alle Strömungen, Zeiträume und Rechenverfahren ableiten. Das untersuchte mathematische Problem betrifft gerade die Grenzen globaler Glattheit; es ist keine Behauptung, jede praktische Simulation sei unbrauchbar.
Der am 17. September 2025 veröffentlichte Forschungsbeitrag „Discovery of Unstable Singularities“ mit Buckmasters Beteiligung stützt den Bericht über spezialisierte neuronale Netze. Er untersucht numerische Singularitätskandidaten für verwandte Gleichungen und Randbedingungen. Er stellt keinen allgemeinen Beweis für die ausgeschriebene dreidimensionale Navier–Stokes-Aufgabe dar. Auch die Podcastaussage, mögliche Singularitäten seien auf jeden Fall instabil, ist zu pauschal: Der Beitrag behandelt gezielt instabile Kandidaten und erläutert den Unterschied zu stabilen. Die Aussage über diese Kandidaten ist kein Satz über jede denkbare Singularität und erst recht kein universeller Nachweis ihres Verhaltens in realen Flüssigkeiten.
Der Jacobi-Exkurs braucht eine präzisere Formulierung
Die Folge berichtet über ein von Alpöge am 19. Juli 2026 bekannt gemachtes Gegenbeispiel zur Jacobi-Vermutung. Der Preprint von Shuhong Gao dokumentiert diesen Ansatz und rekonstruiert ein dreidimensionales Beispiel, das drei verschiedene Punkte zusammenführt. Damit gibt es hierzu mehr als eine beiläufige Behauptung in sozialen Medien: eine öffentlich nachvollziehbare mathematische Ausarbeitung. Eine eigene vollständige Nachrechnung leisten wir hier nicht.
Die präzise Vermutung handelt von Polynomabbildungen über den komplexen Zahlen mit einer nicht verschwindenden konstanten Jacobi-Determinante und einer polynomialen Umkehrabbildung. Die im Podcast verwendete Weltkarte ist nur ein Bild für lokale Verzerrung und globale Umkehrbarkeit. Eine gewöhnliche Projektion des Globus ist nicht die Abbildung, um die es in diesem Satz geht. Der Exkurs belegt für sich genommen weder den KI-Anteil an Alpöges Arbeit noch irgendeinen Ablauf des späteren Navier–Stokes-Streits.
Alpöge und Buckmaster meldeten verwandte Ergebnisse
Buckmasters öffentliche Stellungnahme berichtet von drei Ergebnissen mit glatter äußerer Anregung: für inkompressible poröse Medien, Boussinesq und dreidimensionale inkompressible Euler-Gleichungen. Er datiert den Fortschritt bei Boussinesq und Euler auf den 15. August und die Lean-Prüfung auf den 22. August. Das sind Angaben eines Beteiligten; die privaten Arbeitstage werden dadurch nicht unabhängig rekonstruiert.
Die Einleitung des Boussinesq-Manuskripts und Terence Taos Erläuterung vom 7. September geben dem Fortschritt mathematischen Kontext. Tao sieht einen vielversprechenden Weg in Richtung Navier–Stokes und beschreibt eine Abfolge immer höherfrequenter Korrekturen bei kontrollierter Anregung. Er sagt ausdrücklich, dass die Autoren die Navier–Stokes-Ziele noch nicht erreichen. Seine positive Einschätzung ist keine Bestätigung eines von diesem Duo bereits vollendeten Millennium-Beweises. Die Veröffentlichung wird auf Taos Seite schon am 7. September besprochen; das pauschale Datum 8. September in der Folge ist für die Erstveröffentlichung nicht präzise.
Die Grundidee wird öffentlich Diego Córdoba und Luis Martínez-Zoroa zugeschrieben. Diese Anerkennung steht auch in Buckmasters Stellungnahme und im Literaturkontext des OpenAI-Manuskripts. Eine gemeinsame publizierte Ausgangsidee ist jedoch weder ein Nachweis der Nutzung privater Entwürfe noch ein Grund, sämtliche späteren technischen Beiträge als bedeutungslos zu behandeln.
Was OpenAIs Beweisanspruch umfasst
Theorem 1.1 im veröffentlichten OpenAI-Manuskript konstruiert für jede positive Viskosität einen dreidimensionalen inkompressiblen Fluss, der aus der Ruhe startet. Die äußere Kraft ist glatt und in Raum und Zeit kompakt getragen. Die Geschwindigkeit wird vor einer endlichen Zeit unbeschränkt, während die kinetische Energie beschränkt bleibt. Das Manuskript ordnet dies den Alternativen C und D der Clay-Aufgabe zu.
Hohe Geschwindigkeit in einem immer kleineren Gebiet und begrenzte Gesamtenergie sind mathematisch miteinander vereinbar. Der Unterschied zwischen dieser speziell konstruierten Strömung und einem universellen Modell jeder Turbulenz ist wesentlich. Der veröffentlichte Satz behauptet keinen allgemeinen Löser für beliebige Flugzeuge, Wetterlagen oder Flüssigkeiten. Ebenso wenig behauptet er einen kraftfreien Navier–Stokes-Zusammenbruch. Die Formulierung, die Gleichungen seien nun insgesamt gelöst, wäre deshalb missverständlich.
Was Lean belegt und was noch geprüft werden muss
Das öffentliche Repository mit Lean-Formalisationen enthält Ergebnisformulierungen für Navier–Stokes mit äußerer Kraft und zusätzlich für Euler ohne äußere Kraft. Das sind unterschiedliche Gleichungssysteme: Euler lässt den Viskositätsterm weg. Ein Resultat ohne Kraft für Euler schließt die entsprechende Frage für Navier–Stokes daher nicht automatisch.
Eine formale Prüfung ist wertvoll, weil ein Rechner präzise formulierte logische Schritte kontrollieren kann. Für die Einordnung bleibt trotzdem zu prüfen, ob die formalisierten Definitionen und Annahmen genau der gemeinten mathematischen Aufgabe entsprechen. Das Repository nennt einen Build- und einen unabhängigen Prüfweg; deren Existenz ist nicht gleichbedeutend mit einem von Evidico ausgeführten erfolgreichen Prüflauf. Lesbarkeit, Erklärung der Methode und wissenschaftliche Anerkennung sind zusätzliche Aufgaben. Die Podcastkritik an der Verständlichkeit ist eine Bewertung und kein Gegenbeweis.
Eine Million Dollar sind kein automatischer Anspruch
Das Clay Mathematics Institute lobte für die sieben Millennium-Probleme jeweils eine Million US-Dollar aus. Seine Preisregeln verlangen vor der Prüfung unter anderem eine Veröffentlichung in einem qualifizierten Publikationsorgan, mindestens zwei Jahre seit der Veröffentlichung und allgemeine Akzeptanz in der weltweiten mathematischen Gemeinschaft. Wer einen Beweis ankündigt oder einen Namen auf ein Manuskript setzt, erhält deshalb nicht automatisch das Geld.
Die Poincaré-Vermutung ist das bereits als gelöst ausgewiesene Millennium-Problem. Navier–Stokes wird auf der aktuellen Clay-Seite weiterhin als aktiv geführt. Das ist keine Widerlegung des neuen Manuskripts, aber auch keine Bestätigung einer abgeschlossenen Anerkennung. Die dramatische Zuspitzung der Folge, Buckmaster müsse nur seinen Kollegen fallen lassen und könne dann die Million erhalten, überspringt diese Bedingungen.
Der Gesprächsverlauf bleibt umstritten
Buckmaster beschreibt Angebote zur Veröffentlichung und einen Konflikt darüber, ob Alpöge beteiligt werden sollte. Er schildert auch als Druck empfundene Äußerungen. Diese Stellungnahme belegt, dass er die Vorwürfe öffentlich erhebt; sie beweist ihren Inhalt nicht unabhängig. Seine eigene Erklärung macht zugleich deutlich, dass er nicht weiß, ob private Daten verwendet wurden. Die Geschichte von Loyalität und Karriere steht daher auf einer anderen Belegebene als die öffentlich lesbaren mathematischen Sätze.
OpenAI stellt die Kontaktaufnahme und das Angebot zur Anerkennung der parallelen Arbeit anders dar. Ohne gemeinsam bestätigte Unterlagen oder eine unabhängige Rekonstruktion lässt sich aus den zugänglichen Dokumenten kein gesicherter Gesprächsablauf herstellen. Wir übernehmen weder angebliche Drohungen als Tatsachen noch Mutmaßungen über persönliche Motive. Dass die Podcastmoderation wiederholt auf die fehlende Verifizierbarkeit hinweist, ist hier wichtiger Kontext. Ein Verdacht wird auch durch eine zeitliche Nähe nicht zum Beweis.
Beim Datenvorwurf fehlt in der Folge ein relevantes Update
Die Folge sagt sinngemäß, OpenAI könne einen indirekten Einfluss von Nutzereingaben auf das Training nicht ausschließen. Die aktualisierte Unternehmensdarstellung vom 10. September erklärt dagegen ausdrücklich, Buckmasters Codex-Prompts aus den zwei Monaten vor der Veröffentlichung hätten auch über Training keinen Einfluss haben können. Diese Aussage ist eine Selbstauskunft, keine unabhängige Prüfung. Sie muss in einem aktuellen Faktencheck aber neben dem ursprünglichen Verdacht stehen.
Außerdem sind die Verarbeitung eines Prompts während einer Sitzung und eine spätere Änderung der Modellgewichte unterschiedliche Vorgänge. Aus der pauschalen Aussage, KI lerne aus dem, was man ihr eingibt, folgt kein Nachweis für ein bestimmtes Modell, einen bestimmten Trainingslauf oder eine Weitergabe an ein Forschungsteam. Auch ein öffentlich bekannter Ansatz kann verschiedene Teams auf dieselbe Fragestellung bringen. Die verfügbaren Belege reichen für den Vorwurf eines Diebstahls privater Forschung nicht aus.
Rechenaufwand und Personalurteile haben unterschiedliche Belege
OpenAI nennt für die erfolgreiche Agentengruppe eine Größenordnung von 10.000 gleichzeitig arbeitenden Agenten und rund 88 Stunden bis zum Resultat; die Formalisation benötigte laut Unternehmen weitere 17 Stunden. Die ersten Zahlen des Podcasts stimmen damit mit der Unternehmensangabe überein. Die dort zusätzlich genannten Kosten in Millionen Dollar sind durch diese Angabe allein nicht unabhängig belegt. Tokenmengen lassen sich ohne die tatsächlichen internen Kosten nicht zuverlässig in einen Rechnungsbetrag übersetzen.
Für die absolute Behauptung, kein Mitglied des OpenAI-Teams habe Erfahrung mit Fluiddynamik, liegt uns keine vollständige, geprüfte Personalgrundlage vor. Wir stufen sie als nicht ausreichend belegt ein. Gleiches gilt für die Zuschreibung, den Beteiligten sei Mathematik gleichgültig. Fachliche Kritik an Vorgehen, Zitation oder Darstellung ist möglich, ohne solche Aussagen über sämtliche Personen oder ihre inneren Beweggründe als Fakten zu behandeln.
Die äußere Kraft lässt sich nicht einfach wegdenken
Der Preprint von Constantin, Ignatova und Vicol in der Fassung vom 29. September untersucht Lösungen mit bestimmten anisotropen Schranken und einer exakt achsensymmetrischen Kernregion. Unter diesen Strukturannahmen weisen die Autoren Regularität bei einer räumlich reell-analytischen äußeren Kraft nach. Als Folgerung kann die Kraft bei Konstruktionen dieser Klasse unter den genannten zusätzlichen Schranken nicht in einer Umgebung der Singularität identisch verschwinden.
Das unterstützt den wichtigen Vorbehalt der Folge: Der konkrete erzwungene Zusammenbruch lässt sich nicht einfach durch Streichen der Kraft zu einem kraftfreien Ergebnis machen. Die Arbeit beweist aber nicht, dass jede denkbare Änderung jeder Methode scheitern muss, und sie widerlegt nicht generell den Navier–Stokes-Beweisanspruch mit glatter Kraft. „Glatt“ und „reell-analytisch“ sind unterschiedliche Anforderungen; eine beliebig oft differenzierbare Funktion muss nicht analytisch sein. Die Bedingungen des neuen Satzes gehören deshalb zur Nachricht, nicht nur seine zugespitzte Schlussfolgerung.
Die Debatte ist weitergegangen
Taos Ankündigung vom 11. September bestätigt 25 Erstunterzeichnende mit Fields-Medaille. Die gemeinsame Erklärung kritisiert vor allem den Einsatz offener Probleme als KI-Benchmark, fehlende Zuschreibung, überhastete Veröffentlichungen und den Verlust menschlichen Verständnisses. Das ist eine öffentliche wissenschaftspolitische Position; kein gemeinsamer mathematischer Nachweis, dass ein bestimmter Beweis falsch sei.
Die Folge verortet die Ankündigung eines Beratungsgremiums ungefähr am 22. September. OpenAIs eigene Mitteilung ist auf den 21. September datiert und nennt bereits mehr als 100 angeblich gelöste offene Probleme. Die Zahl bleibt zunächst ein Unternehmensanspruch. Am 6. Oktober folgte eine umfangreiche Veröffentlichung mit zusätzlichen Unterlagen und Formalisationen. Ein veröffentlichter Korpus ersetzt die Prüfung seiner einzelnen Resultate nicht.
Die unabhängige AGMAI betont in ihrer Stellungnahme, ihre Beratung sei keine Billigung des Entstehungsprozesses oder der Bedeutung aller Ergebnisse. Sie spreche auch nicht für die gesamte mathematische Gemeinschaft. Die Association for Human Mathematics kritisierte am 7. Oktober das Veröffentlichungsmodell ausdrücklich. Damit ist die im Podcast dargestellte Auseinandersetzung weder beendet noch eine einheitliche Haltung aller Mathematiker. Über Qualität und Folgen kann weiter gestritten werden, während die konkreten mathematischen Aussagen gesondert geprüft werden.
Fazit: Ein konkreter Beweisanspruch mit wichtigen Grenzen
Die Folge erklärt zutreffend, warum ein Ergebnis mit glatter äußerer Kraft für das Millennium-Problem relevant sein kann und die kraftfreie Frage trotzdem bestehen bleibt. Sie beschreibt reale Forschung und einen dokumentierten öffentlichen Konflikt. Zu korrigieren sind die automatische Verbindung von Autorschaft und Preisgeld, die verkürzte Jacobi-Erklärung sowie pauschale Aussagen über Instabilität, Datenlernen und die Expertise sämtlicher Beteiligter.
Der Stand ist präziser als die Alternative „KI hat alles gelöst“ oder „KI hat nur geklaut“: Es liegen öffentlich prüfbare Manuskripte und Formalisationen vor. Die Grenzen des erzwungenen Resultats sind benennbar. Die persönliche Konflikterzählung und der Verdacht einer Nutzung privater Forschung sind durch die zugänglichen Primärquellen nicht unabhängig entschieden. Beides sollte auch in einer zugespitzten Geschichte über einen wissenschaftlichen Durchbruch sichtbar bleiben.