OpenAI meldet Loesung des Navier-Stokes-Millennium-Problems: 10.000 KI-Agenten finden in 88 Stunden Gegenbeispiel, an dem Mathematiker zwei Jahrhunderte tftelten

Anfang September 2026 gab OpenAI die Loesung eines der sieben „Millennium-Probleme“ bekannt – der Navier-Stokes-Gleichungen, die im Jahr 2000 vom Clay Mathematics Institute in eine Liste ungelöster Probleme aufgenommen wurden, für deren Entschlüsselung eine Prämie von einer Million Dollar ausgelobt ist. Nach Angaben des Unternehmens hat sein System künstlicher Intelligenz, das intern Merkmale künstlicher allgemeiner Intelligenz (AGI) aufweist, an einem konkreten Beispiel bewiesen, dass die Navier-Stokes-Gleichungen unter bestimmten Bedingungen Lösungen erzeugen, die in der Realität physikalisch unmöglich sind: In endlicher Zeit bildet sich in einer Flüssigkeit ein Wirbel, in dem die Strömungsgeschwindigkeit gegen unendlich strebt. Das Ergebnis wurde in der Programmiersprache Lean formalisiert, die eine automatische Verifizierung mathematischer Beweise ermöglicht, was der Schlussfolgerung nach Ansicht von Fachleuten zusätzliches Gewicht verleiht. Die Ankündigung löste in der wissenschaftlichen Gemeinschaft eine heftige Diskussion darüber aus, welche Rolle der menschliche Mathematiker nun noch spielt und welchen Sinn es hat, Wissenschaft zu betreiben, wenn ein Algorithmus die wichtigsten Antworten findet.

Zwei Jahrhunderte Chaos in einer Formel

Die Navier-Stokes-Gleichungen beschreiben die Bewegung zäher Flüssigkeiten und Gase – von der Luftströmung um einen Flugzeugflügel bis hin zu Flüssigkeitsläufen und atmosphärischen Wirbeln. Vor fast zweihundert Jahren unternahmen der französische Ingenieur Claude-Louis Navier und der irische Mathematiker George Gabriel Stokes den Versuch, alle Phänomene, die bei der Wechselwirkung von Flüssigkeitspartikeln auftreten, in einem einzigen mathematischen Apparat zusammenzuführen: Druck, Widerstand, Beschleunigung, externe Kräfte. Die Forscher stützten sich dabei auf das zweite Newtonsche Gesetz – „Kraft ist Masse mal Beschleunigung“ – und kamen zu dem Schluss, dass zur Beschreibung der Bewegung die Angabe von Geschwindigkeit und Druck an jedem Punkt des eingenommenen Volumens ausreicht. Es ist jedoch keiner Generation von Mathematikern jemals gelungen zu beweisen, dass diese Gleichungen im dreidimensionalen Raum immer korrekte, glatte Lösungen liefern. Genau darin bestand der Kern des „Millennium-Problems“.

88 Stunden, 10.000 Agenten und 300 Milliarden Token

Den Angaben von OpenAI zufolge wurde die Lösungen während eines 88-stündigen „Ansturms“ erzielt, an dem gleichzeitig rund 10.000 KI-Agenten arbeiteten. Während des gesamten Experiments sandte das System fast 4,9 Millionen Nachrichten und generierte etwa 300 Milliarden Ausgangstoken; auf die Navier-Stokes-Aufgabe selbst entfielen 2,7 Millionen Nachrichten und rund 130 Milliarden Token. Verschiedene Agentengruppen erforschten eigene Ansätze, und die vielversprechendsten Ideen wurden über den KI-Agenten Codex zusammengeführt. Das Unternehmen betonte, dass ein internes Modell verwendet wurde, das „wesentlich leistungsfähiger“ ist als das System Astra, dessen Training am 28. August 2026 begann. Die Strategie verlief schrittweise: Zuerst griffen die Agenten eine vereinfachte Variante an – die Euler-Gleichungen für eine ideale Flüssigkeit ohne Viskosität. Nach 50 Arbeitsstunden von 1.000 Agenten wurde eine Lösung gefunden. Danach wurden 10.000 Agenten auf das komplette Navier-Stokes-Problem angesetzt, und am nächsten Tag wurde das Ergebnis in Lean formalisiert.

Millionen von Dollar für einen Beweis

Das Projekt erwies sich als um ein Vielfaches teurer als frühere mathematische Experimente von OpenAI. In der vorherigen Phase erzielte das Astra-System 10 Durchbrüche bei anderen Problemen zu Kosten von etwa 2.000 Dollar. Die Arbeit an Navier-Stokes kostete laut OpenAI-Forschungsdirektor Mark Chen „Millionen von Dollar“. Eine unabhängige Schätzung von Kartik Duraisamy von der University of Michigan, der ein spezielles Projekt zur Erfassung von Rechenressourcen vorbereitet, deckt sich mit dieser Zahl: Wärden die Tools von OpenAI zu Kleinverkaufspreisen genutzt worden, hätten sich die Kosten auf etwa 6 Millionen Dollar belaufen, während die tatsächlichen Ausgaben für Rechenleistung bei rund 1 Million lagen – was, wie Duraisamy anmerkt, „genau der Höhe des Preises für die Lösung des Millennium-Problems entspricht“.

„Einem solchen Fortschrittstempo muss mit aller Ernsthaftigkeit begegnet werden“

OpenAI-Chefwissenschaftler Jakub Pachocki zog auf einer Presseveranstaltung des Unternehmens einen scharfen Vergleich zum Leistungsstand vor einem Jahr: „Noch vor einem Jahr haben wir gerade herausgefunden, ob KI-Modelle bei Mathematik-Olympiaden mit Schülern der Oberstufe konkurrieren können. Jetzt ist die Situation eine andere.“ Seinen Worten zufolge ist die Lösung des Navier-Stokes-Problems „eine Bewertung eines Systems, das über allgemeine Intelligenz verfügt“, und dem vom Unternehmen demonstrierten Fortschrittstempo „muss mit aller Ernsthaftigkeit begegnet werden“. Bereits Anfang Oktober 2026 gab OpenAI die Lösung hunderter mathematischer Probleme bekannt, darunter die sogenannte Quasi-Hypothese, was auf einen systematischen und nicht nur isolierten Durchbruch hindeutet. In der wissenschaftlichen Gemeinschaft ist indessen eine Debatte entbrannt: Einige Forscher sprechen vom „kommenden Kollaps“ der klassischen Mathematik als eigenständige Disziplin, während andere betonen, dass die Formalisierung in Lean und die Notwendigkeit der Interpretation von Ergebnissen dem Menschen eine Schlüsselrolle bei der Problemstellung und der Bewertung ihrer physikalischen Bedeutung bewahren.