OpenAI lehnt einen weiteren Mathematikpreis ab – diesmal Justin Suns Preisgeld von 1 Million Dollar

OpenAI wurde zum Gewinner von Justin Suns erstmals verliehenem Mathematikpreis in Höhe von 1 Million US-Dollar gekürt. Doch das Unternehmen hat das Geld – genau wie einen identischen Preis des Clay Mathematics Institute wenige Wochen zuvor – nicht abgeholt.

Mit dem Preis sollte ein von einer KI verfasster Beweis der Navier-Stokes-Gleichungen ausgezeichnet werden – ein Problem der Strömungsmechanik, an dessen Lösung sich Mathematiker jahrzehntelang versucht hatten. Zwei Wissenschaftler sagen, die Arbeit habe auf ihren eigenen unveröffentlichten Forschungsergebnissen aufgebaut. OpenAI bestreitet das.

Warum OpenAI immer wieder auf das Preisgeld verzichtet

OpenAI veröffentlichte seinen Beweis für das dreidimensionale Navier-Stokes-Problem am 8. September. Das Unternehmen erklärte, 10.000 seiner KI-Agenten hätten 88 Stunden an dem Problem gearbeitet, bevor ein separates Modell, GPT-6 Astra, weitere 17 Stunden mit der Überprüfung der Beweisführung verbracht habe.

Das Clay Mathematics Institute nahm das Problem im Jahr 2000 als eines von sieben Millennium-Problemen auf. Für jedes ist ein Preisgeld von 1 Million US-Dollar ausgelobt. Auf seiner Website führt das Institut das Problem weiterhin als ungelöst.

OpenAI erklärte damals, das Preisgeld des Clay Mathematics Institute nicht in Anspruch nehmen zu wollen. Zum größeren Thema wurde die Sache, als Fragen aufkamen, wessen Arbeit tatsächlich zu dem Beweis geführt hatte.

Zwei Mathematiker erklärten, ihre unveröffentlichten Forschungsergebnisse seien in ein OpenAI-Produkt eingeflossen – eine Behauptung, die das Unternehmen zurückwies.

„Ich weiß nicht, was ihr Modell getan hat oder wie. Ich weiß nicht, ob unsere Daten verwendet wurden. Ich unterstelle niemandem etwas“, sagte Tristan Buckmaster, Professor an der New York University.

Zweiter Preis, zweite Brüskierung

Acht Tage nachdem der Streit ausgebrochen war, präsentierte Justin Suns Büro eine eigene Antwort auf dasselbe Problem. Es rief den Justin-Sun-Preis ins Leben, ein Prämiensystem, das auf maschinell überprüfbaren Beweisen statt auf traditionellem Peer-Review beruht.

Für jeden Eintrag auf Suns Liste kann es zwei Auszahlungen geben: einmal für die Person, die ein Ergebnis beweist, und ein weiteres Mal für die Person, die es als Code formalisiert. Suns Team kürte das Forschungsteam von OpenAI zum Gewinner des mit einer Million Dollar dotierten Hauptpreises der ersten Preisvergabe für den Beweis zu den Navier-Stokes-Gleichungen.

Die Navier-Stokes-Gleichungen stehen an fünfter Stelle. Der Eintrag ist als gelöst markiert, dem OpenAI-Team zugeschrieben und kann beansprucht werden, wurde aber noch nicht beansprucht.

Nach Suns Regeln erhält bei einem Problem, das bereits gelöst war, bevor es auf die Liste kam, die Person die Prämie, die es für die Maschine formalisiert – nicht die Person, die es bewiesen hat.

„Mich interessiert nur das Ergebnis, nicht, ob der Beitrag von einem Menschen oder einer Maschine stammt“, sagte Justin Sun.

Neben diesem Eintrag auf Suns eigener Liste steht eine Warnung. Darin heißt es, die Ankündigung von OpenAI sei kein Peer-Review und eine Anerkennung durch Mathematiker sei nicht bestätigt.

Quelle: BeInCrypto