OpenAI gab am 8. September 2026 bekannt, eine Lösung für das Navier-Stokes-Problem (Navier-Stokes) gefunden zu haben, eines der Millennium-Probleme, die seit rund 90 Jahren ungelöst geblieben sind. Die Ankündigung wurde in der mathematischen Gemeinschaft jedoch nicht als endgültige Lösung betrachtet, da das Unternehmen die Einzelheiten des Beweises bislang nicht veröffentlicht hat, sodass Forschende ihn unabhängig prüfen können. Außerdem warf der Zeitpunkt der Ankündigung Fragen zum Weg auf, der zu dem Ergebnis geführt hatte.
Ein Problem zur Bewegung von Flüssigkeiten und Gasen
Die Navier-Stokes-Gleichungen beschreiben die Bewegung von Flüssigkeiten und Gasen, darunter Wasser, Luft und Blut. Die mathematische Herausforderung besteht darin festzustellen, ob diese Gleichungen stets reguläre Lösungen gewährleisten oder ob sie einen Zustand erreichen können, in dem die Bewegung derart chaotisch wird, dass die mathematische Lösung zusammenbricht.
Das Clay Mathematics Institute nahm dieses Problem in eine Gruppe von sieben Problemen auf, die es als „Millennium-Probleme“ bezeichnete, und setzte ein Preisgeld von 1 Million US-Dollar für jedes Problem aus, das nach den anerkannten wissenschaftlichen Standards gelöst wird. Daher reicht die Ankündigung eines Technologieunternehmens über einen möglichen Beweis allein nicht aus, um das Problem abzuschließen; der Beweis muss zugänglich gemacht und von unabhängigen Fachleuten geprüft werden.
Internes Modell und 10.000 Agenten
OpenAI erklärte, der Beweis sei von einer Gruppe von Agenten mithilfe eines internen künstlichen Intelligenzmodells erstellt worden, dessen Fähigkeiten das kürzlich vom Unternehmen veröffentlichte Modell GPT-6 Astra überträfen. Das Unternehmen teilte mit, rund 10.000 KI-Agenten gleichzeitig betrieben zu haben. Das Training des verwendeten Modells habe am 28. August begonnen und es habe laut dem Unternehmen eine beispiellose Leistung in Benchmark-Tests, darunter Mathematiktests, gezeigt.
Das Unternehmen bekräftigte, dass es nicht beabsichtige, das Preisgeld von 1 Million US-Dollar zu beanspruchen, obwohl es das Ergebnis als wichtigen Durchbruch in der Mathematik bezeichnete.
Kontroverse über den Zeitpunkt und Forschungsdaten
Die Kontroverse nahm zu, nachdem Tristan Buckmaster, Mathematiker an der New York University, einen Tag vor der Ankündigung von OpenAI Forschungsergebnisse zu den Gleichungen veröffentlicht hatte, die in Zusammenarbeit mit Levent Albuge, einem Forscher beim Unternehmen Anthropic, entstanden waren. Buckmaster sagte, er habe OpenAI kontaktiert, nachdem er erfahren hatte, dass das Unternehmen von den Fortschritten der beiden Forscher wusste. Das Unternehmen habe über einen Forschungsweg, an dem er gemeinsam mit Albuge mithilfe von Codex von OpenAI und Claude von Anthropic gearbeitet hatte, einen Beweis entwickelt.
Dies warf Fragen dazu auf, ob OpenAI möglicherweise auf Codex-Sitzungen oder Projektdaten zugreifen konnte. Dem Artikel zufolge erklärte das Unternehmen, das Modell habe keine Nutzerdaten eingesehen. Laut Buckmaster gab es jedoch keine klare Antwort, als das Unternehmen konkret gefragt wurde, ob diese Daten möglicherweise für das Training verwendet worden seien.
OpenAI wies seinerseits zurück, bestimmte Daten irgendeines Nutzers zur Lösung des Problems verwendet zu haben. Das Unternehmen erklärte jedoch, es könne nicht ausschließen, dass anonymisierte Daten, die aus der Nutzung seiner Produkte hervorgegangen seien, zur Verbesserung seiner Modelle beigetragen hätten. Sebastian Bobek, eines der technischen Teammitglieder des Unternehmens, bestritt ebenfalls, dass das Unternehmen vor dessen Veröffentlichung Einblick in die Arbeit von Buckmaster und Albuge gehabt habe. Er sagte, der Beweis von OpenAI unterscheide sich erheblich davon, einschließlich der bewiesenen mathematischen Ergebnisse.
Was ist bislang tatsächlich bewiesen?
Die Ankündigung stellt einen wichtigen Test für die Fähigkeit fortgeschrittener Modelle dar, mathematische Schlussfolgerungen zu erzeugen, die über Berechnungen und die Umformulierung bekannten Wissens hinausgehen. Der wissenschaftliche Wert der Behauptung wird jedoch davon abhängen, ob der Beweis veröffentlicht und erneut geprüft werden kann und ob sich die Forschenden darauf einigen, dass er die Bedingungen des Millennium-Problems erfüllt. Bis dahin ist es präziser, das von OpenAI Angekündigte als einen Beweis zu bezeichnen, den das Unternehmen nach eigenen Angaben gefunden hat, und nicht als eine endgültig bestätigte Lösung des Navier-Stokes-Problems.