OpenAI wird als Gewinner von Justin Suns erstem Mathematikpreis über 1 Million US‑Dollar für seinen Navier-Stokes-Beweis geführt – dennoch ist das Preisgeld bislang nicht abgerufen worden. Zuvor hatte das Unternehmen bereits erklärt, auch den Clay-Preis nicht anstreben zu wollen.
Zentrale Fakten:
- In Suns Preis-Repository ist der Navier-Stokes-Beitrag von OpenAI als gelöst, preisberechtigt und weiterhin unbeansprucht markiert.
- Laut OpenAI arbeiteten rund 10.000 KI-Agenten etwa 88 Stunden, bevor GPT‑6 Astra weitere 17 Stunden auf die Formalisierung und Prüfung des Beweises verwendete.
- Das Clay Mathematics Institute führt das Navier-Stokes-Problem weiterhin als offen, während es das Ergebnis prüft.
Suns OpenAI-Preis
Suns neuer Preis hat das OpenAI-Forschungsteam offiziell als Empfänger der ersten Top-Prämie über 1 Million US‑Dollar für das dreidimensionale Navier-Stokes-Problem ausgezeichnet. Im öffentlichen GitHub-Repository ist das Problem als gelöst vermerkt und für eine Auszahlung qualifiziert. Trotzdem wurde das Geld bislang nicht eingefordert.
OpenAI veröffentlichte sein Ergebnis am 8. September. Demnach arbeiteten rund 10.000 Agenten ungefähr 88 Stunden an dem Problem, bevor GPT‑6 Astra weitere 17 Stunden investierte, um den Beweis in Lean zu formalisieren und zu verifizieren. Das Unternehmen erklärte zugleich, nicht die Absicht zu haben, den mit dem Problem verbundenen Millennium-Preis des Clay Mathematics Institute in Höhe von 1 Million US‑Dollar zu beantragen.
Das Clay-Institut führt das Navier-Stokes-Problem weiterhin als aktiv. Am 11. September hieß es von dort, die Ankündigung scheine das Problem grundsätzlich zu lösen – die Statuten verlangten jedoch eine sorgfältige fachliche Prüfung, bevor über einen Preis entschieden werden könne. Dieser Prozess ist noch nicht abgeschlossen. Suns separater Preis setzt hingegen auf maschinenprüfbare Beweise und zeichnete das OpenAI-Team aus, ohne den traditionellen, langwierigen Begutachtungsweg abzuwarten.
Lesen Sie auch: Bitcoin-Mining kämpft mit 50 % Hashrate-Lücke, während KI Kapazitäten anzieht
Justin Suns Regeln
Sun betont, sein Preis sei darauf ausgelegt, Resultate zu honorieren – unabhängig davon, ob sie von Menschen oder KI-Systemen erbracht wurden. Formale, maschinell prüfbare Verifikation stehe im Zentrum des Verfahrens. „Mich interessiert nur das Ergebnis, nicht ob der Beitrag von einem Menschen oder einer Maschine stammt“, sagte Sun. Im Repository wird zugleich darauf hingewiesen, dass OpenAIs Ankündigung kein Peer-Review ersetzt und eine breite fachliche Akzeptanz bislang nicht gesichert ist.
Unklar bleibt die Frage der Zuschreibung. Tristan Buckmaster, Professor an der New York University, erklärte, unveröffentlichte gemeinsame Arbeiten seien in einem OpenAI-Produkt gespeichert worden; er wisse jedoch nicht, ob das Modell sie genutzt habe. „Ich beschuldige niemanden“, sagte Buckmaster gegenüber The Guardian. OpenAI erklärte nach einer internen Untersuchung, Buckmasters Codex-Eingaben hätten das System, das den Beweis erzeugte, nicht beeinflussen können.
Die Kontroverse folgte auf OpenAIs Behauptung vom 8. September, ein internes System habe das seit Jahrzehnten offene Navier-Stokes-Existenz- und Glattheitsproblem gelöst, indem es eine Singularität in endlicher Zeit unter den offiziellen Randbedingungen nachwies.
Das Clay Mathematics Institute hatte die Millennium-Probleme im Jahr 2000 ausgelobt und jedem davon 1 Million US‑Dollar zugeordnet. Mehr als zwei Jahrzehnte später gilt Navier-Stokes formal weiterhin als offen – während Mathematiker den neuen Beweis prüfen und die Frage klären, wem der wissenschaftliche Verdienst tatsächlich zusteht.
Weiterlesen: Shiba Inu behebt fehlerhaften Shibarium-Wallet-Link, doch SHIB fällt in einer Woche um 6 %
