OpenAI wurde als Gewinner des ersten Mathematikpreises von Justin Sun in Höhe von 1 Million USD ausgezeichnet, aber das Unternehmen hat das Geld bislang nicht beansprucht, ebenso wie es bereits einen identischen Preis des Clay Mathematics Institute einige Wochen zuvor ungenutzt ließ.
Der Preis sollte einen von Künstlicher Intelligenz verfassten Beweis zu den Navier-Stokes-Gleichungen belohnen, einem Problem aus der Strömungsmechanik, an dem Mathematiker seit Jahrzehnten arbeiten. Zwei Wissenschaftler sagen, die Arbeit basiere auf ihrer eigenen, unveröffentlichten Forschung, was OpenAI jedoch bestreitet.
Warum OpenAI wiederholt auf das Geld verzichtet
OpenAI veröffentlichte den Beweis zum dreidimensionalen Navier-Stokes-Problem am 8. September. Laut OpenAI haben 10.000 KI-Modelle 88 Stunden an dem Problem gearbeitet, bevor ein anderes Modell, GPT-6 Astra, weitere 17 Stunden mit der Überprüfung der Logik verbrachte.
Das Clay Mathematics Institute hat das Problem im Jahr 2000 als eines von sieben Millennium-Preis-Problemen definiert, von denen jedes mit 1 Million USD dotiert ist. Auf der Webseite des Instituts gilt es weiterhin als ungelöst.
OpenAI teilte damals mit, das Preisgeld des Clay-Instituts nicht zu beanspruchen. Die Geschichte sorgte für mehr Aufsehen, als Fragen nach dem Ursprung des Beweises aufkamen.
Zwei Mathematiker erklärten, ihre unveröffentlichte Forschung habe in einem Produkt von OpenAI Eingang gefunden, eine Aussage, die das Unternehmen dementierte.
„Ich weiß nicht, was ihr Modell getan hat, oder wie. Ich weiß nicht, ob unsere Daten verwendet worden sind. Ich beschuldige niemanden“, sagte Tristan Buckmaster, Professor an der New York University.
Zweiter Preis: Erneut kein Anspruch
Acht Tage nach Beginn der Diskussion veröffentlichte Justin Suns Büro eine eigene Initiative zur Lösung des Problems. Sie riefen den Justin Sun Prize ins Leben, ein Belohnungssystem, das sich auf maschinenüberprüfbare Beweise anstelle klassischer Peer-Review verlässt.
Jeder Eintrag auf Suns Liste kann doppelt ausgezahlt werden: einmal für die Person, die den Beweis liefert, und erneut für die Person, die ihn als Code formalisiert. Suns Team benannte das OpenAI-Forschungsteam als Gewinner der ersten 1-Million-USD-Hauptauszeichnung für den Navier-Stokes-Beweis.
Navier-Stokes ist das fünfte gelistete Problem. Es ist laut Eintrag gelöst, OpenAI wird als Urheber genannt, die Prämie ist verfügbar, aber weiterhin nicht eingefordert.
Laut Suns Regeln erhält bei Problemen, die vor dem Eintrag auf die Liste bereits gelöst wurden, die Person die Prämie, die den Beweis für Maschinen überträgt, nicht die Person, die ihn geführt hat.
„Mir geht es nur um das Ergebnis, nicht darum, ob der Beitrag von einem Menschen oder einer Maschine kommt“, sagte Justin Sun.
Auf Suns eigener Liste gibt es neben diesem Eintrag einen Hinweis. Dort steht, dass die Mitteilung von OpenAI keiner Peer-Review entspricht und dass die Akzeptanz durch Mathematiker noch nicht bestätigt wurde.
