OpenAI hat angekuendigt, ein beruechtigt schwieriges Mathematikproblem in nur 88 Stunden mit einem Schwarm von etwa 10.000 KI-Agenten geloest zu haben. Das Problem, ein Teil der Navier-Stokes-Gleichungen zur Fluessigkeitsbewegung, entbehrt seit 90 Jahren eines Beweises fuer Schluesselaspekte. Aber mit genug Bots und einer stattlichen Stromrechnung ist anscheinend alles moeglich.

Am Dienstag gab der ChatGPT-Hersteller bekannt, dass er eine Gruppe von KI-Bots auf das Navier-Stokes-Existenz- und Glattheitsproblem fokussiert hatte, ein so hartnaeckiges Raetsel, dass es eines der Millennium-Probleme des Clay Mathematics Institute ist, die mit einer Belohnung von 1 Million Dollar fuer den ersten Loeser verbunden sind. Das Unternehmen nannte seine Loesung einen "Meilenstein" und einen Beweis dafuer, dass KI-Tools sich schnell verbessern - allerdings ist sie bemerkenswerterweise noch nicht unabhaengig verifiziert oder vom Institut akzeptiert worden.

Hier ist die Zeitleiste: Ende August begann OpenAI mit dem Training eines neuen internen Modells, das ein Gespuer fuer Mathematik zeigte. Letzte Woche, am 1. September, erfuhr das Unternehmen Geruechte, dass zwei Millennium-Probleme geloest worden seien, also setzte es Tausende von KI-Bots auf einige verbleibende Probleme an. Bis zum 5. September - etwa 88 Stunden spaeter - hatte es eine Loesung fuer das Navier-Stokes-Problem, das im Herzen der Turbulenz liegt, ein Phaenomen, das von Menschen immer noch nicht gut verstanden wird. Die Bots tauschten fast 3 Millionen Nachrichten aus und verbrannten 130 Milliarden Ausgabe-Token (die Text- und Codezeilen, die ein KI-Modell produziert) allein fuer Navier-Stokes. Zu OpenAIs eigenen Preisen haette diese Anstrengung etwa 10 Millionen Dollar (7,3 Millionen Pfund) gekostet.

Die Loesung loest Berichten zufolge zwei der vier Aussagen im Beweis, die das Millennium-Preis gefordert hatte. Aber OpenAI beansprucht den Preis nicht. "Unser Ziel bei der Veroeffentlichung dieses Ergebnisses ist es, ueber die substanziellen Fortschritte unserer KI-Modelle zu berichten", sagte das Unternehmen. "Wir beabsichtigen nicht, den Millennium-Preis fuer dieses Ergebnis zu beanspruchen." Das ist praktisch, denn der Preis ist 1 Million Dollar wert und sie haben bereits 10 Millionen Dollar fuer Rechenleistung ausgegeben.

Natuerlich ist Kontroverse ausgebrochen. Tristan Buckmaster, Mathematikprofessor an der New York University, behauptet, dass er und Levent Alpoege, ein Mathematiker bei OpenAIs Rivale Anthropic, ebenfalls an dem Problem mit OpenAIs Codex-Tool arbeiteten. Buckmaster sagt, dass er am 3. September erfuhr, dass "Informationen ueber unseren Fortschritt an OpenAI weitergegeben worden waren." Er ging mit E-Mails an die Oeffentlichkeit, die er mit OpenAI ausgetauscht hatte, und behauptete, dass das Unternehmen seine Navier-Stokes-Arbeit erst begann, nachdem es von Buckmasters und Alpoeges Fortschritt erfahren hatte. "Die Alternative ist, eine Reihe von Ankuendigungen etwas sagen zu lassen, von dem ich weiss, dass es falsch ist", sagte er.

OpenAI reagierte, indem es zu der "parallelen Arbeit" von Buckmaster und Alpoege gratulierte und sie "bemerkenswert" nannte. Das Unternehmen besteht darauf, dass es keine ihrer Arbeiten gesehen habe, bis sie oeffentlich veroefentlicht wurde, und dass keine Benutzerdaten abgerufen wurden. Aber in einem Kleingedruckten, das eines Spionageromans wuerdig ist, fuegte OpenAI hinzu: "Obwohl unwahrscheinlich, koennen wir nicht ausschliessen, dass de-identifizierte Daten, die aus ihrer Nutzung unserer Produkte stammen, zur Verbesserung unserer Modelle beigetragen haben." Mit anderen Worten: Ihre KI-Hausaufgaben koennten nicht nur benotet werden - sie koennten verwendet werden, um die schwierigsten Mathematikprobleme der Welt zu loesen, ohne dass Sie jemals die Anerkennung erhalten.