OpenAI behauptet Lösung der Navier-Stokes-Gleichungen mit 10.000 KI-Agenten in 88 Stunden

Autonome Beweisführung

OpenAI gab bekannt, dass ein KI-Modell die Navier-Stokes-Gleichungen gelöst hat, eines von sieben Millennium-Problemen des Clay Mathematics Institute. Die Berechnung erforderte 88 Stunden Verarbeitung durch mehr als 10.000 KI-Agenten, die gleichzeitig in koordinierten Gruppen arbeiteten. Das System generierte über 130 Milliarden Tokens und tauschte 2,7 Millionen Nachrichten aus, gefolgt von 17 Stunden für Formalisierung und Verifikation. Mark Chen, Forschungsleiter bei OpenAI, erklärte, dass die während des Laufs verwendete Rechenleistung Millionen von Dollar kostete. OpenAI beschrieb das zugrunde liegende Modell als leistungsfähiger als das kürzlich veröffentlichte GPT-6 Astra-System.

Es ist ein bedeutender Schritt in der KI-Forschung. Es ist das Versprechen, dass es möglich werden wird, andere Fragen zu beantworten, die zu den komplexesten gehören.

Strömungsdynamik und der Millennium-Preis

Die Navier-Stokes-Gleichungen beschreiben, wie viskose Flüssigkeiten wie Wasser und Luft sich im Laufe der Zeit bewegen. Der französische Ingenieur Henri Navier legte 1822 das erste mathematische Gerüst fest, und der britische Physiker George Gabriel Stokes vervollständigte 1845 die endgültige Version. Die Gleichungen finden praktische Anwendungen im Flugzeugflügeldesign, in der Wettervorhersage, bei der Tornadomodellierung und in der Blutkreislaufanalyse. Im Jahr 2000 erklärte das Clay Mathematics Institute die Navier-Stokes-Gleichungen zu einem Millennium-Problem mit einer Prämie von 1 Million Dollar für einen verifizierten Beweis. Bis zu dieser Ankündigung war die Poincaré-Vermutung, die 2002 vom russischen Mathematiker Grigori Perelman gelöst wurde, das einzige gelöste Problem auf der Liste. OpenAI erklärte, dass sein Beweis zeigt, wie ein Wirbel schmaler und länger werden kann, wodurch die Flüssigkeitsgeschwindigkeit in endlicher Zeit theoretisch unendlich wird, während die Gesamtenergie begrenzt bleibt.

Akademische Anerkennung und spanische Mathematiker

Die Ankündigung rief bei unabhängigen Forschern Bedenken hinsichtlich der korrekten Zuschreibung früherer Arbeiten hervor. Die spanischen Mathematiker Luis Martinez von der CUNEF und Diego Cordoba vom Institut für Mathematische Wissenschaften entwickelten grundlegende Methoden zur Flüssigkeitsentwicklung, die OpenAI in seinen Prozess einbezog. OpenAI verzichtete zunächst auf Verweise auf ihre veröffentlichten Arbeiten, bevor es seine Veröffentlichung nach öffentlicher Kritik aktualisierte, um beide Mathematiker zu zitieren. Martinez erklärte, dass das Navier-Stokes-Problem über Generationen hinweg mathematischen Lösungen widerstanden habe und dass ihre Methode für das KI-System unerlässlich gewesen sei, um zu einem Ergebnis zu gelangen. Der vorgeschlagene Beweis unterliegt weiterhin der formellen Begutachtung und Verifizierung durch die globale mathematische Gemeinschaft, bevor eine offizielle Preisbestätigung erfolgt.

Unternehmenswettbewerb und Rivalität mit Anthropic

Das Projekt entstand direkt aus dem Branchenwettbewerb zwischen OpenAI und dem KI-Rivalen Anthropic. OpenAI-Chef Sam Altman gab zu, dass das Unternehmen die Bemühungen begann, nachdem es Gerüchte gehört hatte, dass Anthropic-Modelle ein Millennium-Problem gelöst hätten. Der Mathematiker Tristan Buckmaster von der New York University und der Anthropic-Forscher Levent Alpoge hatten den August damit verbracht, an den verwandten Euler-Gleichungen mit internen Anthropic-Modellen zu arbeiten. Der OpenAI-Forscher Sebastien Bubeck veröffentlichte am 8. September nach privaten Gesprächen mit Buckmaster einen Bericht, in dem er bestritt, Alpoge die Anerkennung entziehen zu wollen, und sich für Äußerungen während angespannter Diskussionen entschuldigte.

Wenn sie zwei der größten Unternehmen der Welt sind, müssen sie darüber hinwegkommen. Ich bin nur ein Zuschauer in diesen kleinlichen Spielen.