OpenAI behauptet Lösung der Navier-Stokes-Gleichungen in 88 Stunden – Mathematiker bestreiten Priorität

Die Navier-Stokes-Ankündigung

Am 8. September 2026 veröffentlichte OpenAI ein 166-seitiges Manuskript mit einem Lösungsvorschlag für das Problem der Existenz und Glattheit der Navier-Stokes-Gleichungen. Die Gleichungen, ursprünglich 1822 vom französischen Ingenieur Henri Navier formuliert und 1845 vom irischen Physiker George Gabriel Stokes vervollständigt, beschreiben dreidimensionale Fluidbewegungen in Wasser, Luft und Rauch. Das Problem ist eines von sieben Millennium-Problemen, die das Clay Mathematics Institute im Jahr 2000 auslobte und für jede verifizierte Lösung ein Preisgeld von einer Million Dollar bietet. OpenAI berichtete, dass sein Beweis zeige, dass die Navier-Stokes-Gleichungen in endlicher Zeit singuläres Verhalten durch einen nach innen spiralförmigen Wirbel entwickeln können.

Die Berechnung wurde von einem Netzwerk von etwa 10.000 autonomen Agenten ausgeführt, die von einem unveröffentlichten internen Modell oberhalb von GPT-6 Astra angetrieben wurden. Das Agenten-Cluster wurde am 2. September gestartet und lieferte seine Ergebnisse am 5. September nach etwa 88 Stunden Laufzeit, wobei es Codeausführung, gespeicherte Webressourcen und formale mathematische Verifikation in der Sprache Lean nutzte. OpenAI erklärte, dass es nicht beabsichtige, das Preisgeld des Clay Institute für das Ergebnis zu beanspruchen.

Streit um Forschungspriorität

Die Ankündigung fiel mit Widerspruch von akademischen Mathematikern zusammen. Tristan Buckmaster, Mathematikprofessor an der New York University, veröffentlichte zwölf Stunden vor OpenAIs Beitrag einen offenen Brief, in dem er erklärte, dass das Unternehmen erst nach Kenntnis externer Fortschritte in das Problem eingestiegen sei. Buckmaster hatte ein Jahr lang in Zusammenarbeit mit Levent Alpöge, einem Mathematiker der konkurrierenden KI-Firma Anthropic, an Navier-Stokes und verwandten erzwungenen Euler-Gleichungen geforscht. Der spanische Mathematiker Luis Martínez Zoroa von der CUNEF Universidad de Madrid wies ebenfalls darauf hin, dass seine grundlegenden handschriftlichen mathematischen Formulierungen Teil des zugrunde liegenden Ansatzes waren.

Buckmaster erläuterte seine Entscheidung, eine öffentliche Erklärung zur Abfolge der Kommunikation zwischen seinem Team und OpenAI abzugeben.

Denn die Alternative ist, eine Reihe von Ankündigungen zuzulassen, die etwas sagen, von dem ich weiß, dass es falsch ist.

Streit um Modelldaten und Benutzerprotokolle

Buckmaster und Alpöge nutzten während ihrer Vorarbeiten OpenAIs Codex-System und Anthropics Claude. Buckmaster erklärte, dass er am 3. September erfahren habe, dass Details ihrer Arbeit zu OpenAI gelangt seien, was am 4. September zu einem Telefongespräch mit OpenAI-Forscher Sébastien Bubeck führte. In diesem Gespräch fragte Buckmaster, ob OpenAIs Systeme auf die Codex-Protokolle des Forschungsteams zugegriffen oder diese für das Modelltraining verwendet hätten.

In seiner schriftlichen Stellungnahme präzisierte Buckmaster seine Haltung zur Arbeitsweise des Modells.

Ich weiß nicht, ob unsere Daten verwendet wurden. Ich beschuldige niemanden.

Bubeck und die Führung von OpenAI erklärten, dass Forscher vor der Veröffentlichung nicht auf Benutzerdateien oder unveröffentlichte Arbeiten zugegriffen hätten. OpenAI räumte jedoch in seiner offiziellen Antwort ein, dass nicht ausgeschlossen werden könne, dass Interaktionsdaten aus der Produktnutzung allgemein zu grundlegenden Modellverbesserungen beigetragen hätten. Das Unternehmen gratulierte Buckmaster und Alpöge zu ihrer zeitgleichen Arbeit.

Verifikation und mathematische Bewertung

Das Clay Mathematics Institute hat noch keine formelle Stellungnahme oder Validierung des 166-seitigen Manuskripts abgegeben. Bislang wurde nur eines der Millennium-Probleme, die Poincaré-Vermutung, offiziell als gelöst anerkannt, nachdem der russische Mathematiker Grigori Perelman 2010 einen Beweis vorgelegt und anschließend das Preisgeld von einer Million Dollar abgelehnt hatte. Unabhängige Mathematiker, die das 166-seitige Papier prüften, stellten fest, dass eine vollständige Verifikation durch Peer-Review umfangreiche technische Analysen durch Fachausschüsse erfordern wird, bevor ein Konsens erzielt werden kann.