Ein Millennium-Problem der Mathematik gilt seit dem Jahr 2000 als eine der härtesten offenen Fragen der Wissenschaft, dotiert vom Clay Mathematics Institute mit je rund 870.000 Euro (eine Million US-Dollar, Kurs 0,87). Am 8. September 2026 meldete OpenAI,[1] ein internes Modell habe eines davon geknackt: die Navier-Stokes-Gleichungen, mit denen Ingenieure Strömungen berechnen. Der Fall sagt am Ende mehr über das Tempo der KI-Forschung als über die Mathematik selbst.
drweb.de als bevorzugte Quelle auf Google hinzufügenQualitätsgeprüfte Inhalte direkt in Google News & DiscoverJetzt hinzufügen
Das Wichtigste in Kürze
- Rund 10.000 KI-Agenten erzeugten in etwa 88 Stunden einen rund 100-seitigen Beweis zu den Navier-Stokes-Gleichungen.
- OpenAI verzichtet nach eigenen Angaben auf das Preisgeld und wertet das Ergebnis als Beleg für sein Forschungstempo.
- Der Mathematiker Tristan Buckmaster wirft OpenAI vor, seinen Lösungsansatz übernommen zu haben; OpenAI weist das zurück.
- Unabhängig geprüft ist der Beweis noch nicht, und das Clay-Institut erkennt Lösungen erst nach zwei Jahren an.
Was hat OpenAI bei Navier-Stokes bewiesen?
Bewiesen sein soll ein Grenzfall. Für eine angetriebene Variante der Navier-Stokes-Gleichungen legt OpenAI einen Beweis vor, dass glatte Lösungen in endlicher Zeit unendlich große Werte annehmen können, ein sogenannter Blow-up.[1] Die Gleichungen beschreiben, wie sich Flüssigkeiten und Gase bewegen. Die Millennium-Frage lautet, ob ihre Lösungen immer glatt bleiben oder an einem Punkt zusammenbrechen.[2]
Genau hier liegt der erste Vorbehalt. Der vorgelegte Beweis behandelt die Gleichungen mit einem äußeren Antrieb, während das offizielle Clay-Problem die ungetriebene Form meint. Mehrere Fachleute halten beide Fassungen für verwandt, aber nicht deckungsgleich.
10.000 Agenten in 88 Stunden: die eigentliche Nachricht
Laut OpenAI rechneten rund 10.000 KI-Agenten parallel etwa 88 Stunden an dem Beweis, der anschließend im Beweisassistenten Lean formal geprüft wurde.[1] Damit verschiebt sich der Einsatz solcher Modelle vom Chatten und Programmieren hin zur eigenständigen Forschung.
Das Preisgeld will OpenAI nicht beanspruchen und ordnet den Beweis stattdessen als Beleg für das eigene Forschungstempo ein. Für Entscheider zählt weniger die Mathematik als die Rechnung dahinter: Rechenzeit lässt sich in wissenschaftliche Ergebnisse umsetzen, sofern genug Kapazität bereitsteht.
Nicht der Beweis ist die Zäsur, sondern die Methode. 10.000 Agenten drei Tage rechnen zu lassen verwandelt reine Rechenzeit in Forschungsergebnisse, und Rechenkapazität wird für europäische Labore zum Standortfaktor.
— Markus Seyfferth, Chefredakteur Dr. Web
Warum zweifeln Fachleute an dem Beweis?
Weil weder Urheberschaft noch Prüfung geklärt sind. Der Mathematiker Tristan Buckmaster und Levent Alpöge, der bei Anthropic arbeitet, meldeten kurz zuvor einen verwandten Beweis zu den angetriebenen Euler-Gleichungen. Buckmaster wirft OpenAI vor, es habe von diesem Ansatz erfahren und ihn übernommen. OpenAI-Forscher Sébastien Bubeck weist das zurück und erklärt, man habe weder Prompts noch Beweise der beiden genutzt.
Auch die Prüfung steht aus. Der Beweis ist bislang weder veröffentlicht noch unabhängig bestätigt. Das Clay-Institut erkennt eine Lösung ohnehin erst nach Veröffentlichung und zwei Jahren Prüfzeit an. Ein Muster wird dabei sichtbar: Schon im Juli hatte OpenAI einen Beweis zur Cycle-Double-Cover-Vermutung vorgelegt, und auch andere Modelle greifen inzwischen nach großen offenen Fragen der Mathematik.
OpenAI und das Navier-Stokes-Problem, Stand 8. September 2026
Alle Euro-Werte umgerechnet zum Kurs 0,87 (Stand September 2026).
Für die Praxis ändert der Beweis zunächst wenig: Die Strömungssimulationen in Auto- und Luftfahrtentwicklung rechnen weiter mit bewährten Näherungsverfahren, unabhängig von einem theoretischen Grenzfall. Interessanter ist die Verifikationsfrage. Forschende KI-Systeme verlangen dieselbe strenge Prüfung von Urheberschaft und Korrektheit wie jeder Preprint, und in der EU rückt damit die wissenschaftliche Integrität automatisch erzeugter Ergebnisse in den Blick. Bis eine unabhängige Prüfung und der Lean-Code vorliegen, bleibt der Durchbruch eine Ankündigung.
FAQ: OpenAI und das Millennium-Problem
Was ist ein Millennium-Problem der Mathematik?
Ein Millennium-Problem ist eine von sieben besonders schweren mathematischen Aufgaben, die das Clay Mathematics Institute im Jahr 2000 benannt und mit je einer Million US-Dollar (rund 870.000 Euro, Kurs 0,87) dotiert hat. Diese Aufgaben gelten als Grundlagenfragen der Mathematik und Physik.
Wer hat bisher ein Millennium-Problem gelöst?
Bisher wurde nur ein einziges Millennium-Problem gelöst: Der russische Mathematiker Grigori Perelman bewies um 2003 die Poincaré-Vermutung. Das Preisgeld lehnte er ab. Die sechs weiteren Probleme gelten offiziell weiterhin als offen.
Was bedeutet Blow-up bei den Navier-Stokes-Gleichungen?
Blow-up bedeutet, dass eine rechnerische Lösung der Strömungsgleichungen in endlicher Zeit unendlich große Werte annimmt, etwa eine unendliche Geschwindigkeit an einem Punkt. Physikalisch ist das unmöglich, deshalb markiert ein Blow-up eine Grenze des mathematischen Modells.
Warum ist der OpenAI-Beweis umstritten?
Der Beweis ist umstritten, weil der Mathematiker Tristan Buckmaster dem Unternehmen vorwirft, seinen Lösungsansatz übernommen zu haben; OpenAI bestreitet das. Zudem ist der Beweis bislang weder veröffentlicht noch unabhängig geprüft.
Quellen
[1] OpenAI: „On the Navier-Stokes Millennium Prize Problem“
[2] Clay Mathematics Institute: „Navier-Stokes Equation“
Mehr Newshunger?
- Wie KI in der Mathematik die Grundlagen des Fachs erschüttert
- Mathematiker schlagen Alarm: KI holt beim Beweisen auf
- GPT-5.6 Sol Ultra legt einen Beweis für die Cycle-Double-Cover-Vermutung vor
- Claude Fable hat ein Gegenbeispiel zur Jacobi-Vermutung erzeugt
- OpenAI sichert sich KI-Rechenzentren in Malaysia beim Nvidia-Partner Firmus
