**OpenAI** ist die Lösung der Navier-Stokes-Gleichungen offiziell als erster Empfänger des ersten 1-Millionen-Dollar-Mathematikpreises von **Justin Sun** gutgeschrieben worden. Da das Unternehmen jedoch keine Preisforderung geltend gemacht hat, ist das Preisgeld weiterhin nicht ausgezahlt. OpenAI hatte zugleich erklärt, auch den Millennium-Preis des Clay Mathematics Institute nicht beantragen zu wollen.

Kernaussagen

  • Im Preisgeld-Repository von Sun ist OpenAis Navier-Stokes-Lösung als „gelöst – empfangsberechtigt – nicht abgerufen“ gekennzeichnet.

  • Laut OpenAI durchsuchten etwa 10.000 KI-Agenten ungefähr 88 Stunden lang das Problem. Danach hat GPT-6 Astra die Beweise noch weitere 17 Stunden lang auf Lean formalisert und verifiziert, um den Nachweis zu erbringen.

  • **Das Clay Mathematics Institute** klassifiziert die betreffende Aufgabe weiterhin als „in Bearbeitung“ und führt das offizielle Prüfverfahren fort.

Der „Justin-Sun-Deal“ bei OpenAI

Der von Sun neu festgelegte Preis benannte das OpenAI-Forschungsteam als ersten Empfänger des höchsten 1-Millionen-Dollar-Preises für eine Lösung des dreidimensionalen Navier-Stokes-Problems. In den veröffentlichten GitHub-Aufzeichnungen ist das Problem als „gelöst“ markiert und es steht, dass ein Anspruch auf das Preisgeld besteht. Bisher hat jedoch noch niemand das Preisgeld beantragt.

OpenAI hat am 8. September die Ergebnisse veröffentlicht und erklärt, dass rund 10.000 Agenten die Suche etwa 88 Stunden lang durchgeführt hätten. Anschließend habe GPT-6 Astra die Beweise weitere 17 Stunden lang auf Lean — einem formalen Beweissystem — formalisieren und verifizieren lassen. Das Unternehmen teilte außerdem mit, dass es auch nicht plant, für diese Aufgabe den vom Clay Mathematics Institute ausgelobten 1-Millionen-Dollar-„Millennium Prize“ zu beantragen.

Clay hält das Navier-Stokes-Problem weiterhin als „aktiv“ aufrecht. In einer Stellungnahme vom 11. September bewertete das Institut die Veröffentlichung zwar so, als „sehe es so aus, als wäre das Problem de facto gelöst“, betonte jedoch, dass für die Preisverleihung strenge und langfristige Verifikationsverfahren erforderlich seien. Dieser Prüfprozess ist noch nicht abgeschlossen. Ein zusätzlicher Preis setzt zudem maschinenverifizierbare Beweise voraus und nennt das OpenAI-Team als Preisträger, bevor das klassische Begutachtungsverfahren beendet ist.

Weiterlesen: Bitcoin-Mining im Nachteil gegen KI – 50 %-Hashrate-Lücke in Gefahr

Die Regeln des Justin-Sun-Preises

Sun betonte, sein Preis sei „darauf ausgelegt, die Leistung selbst zu belohnen – unabhängig davon, ob der Mensch oder ein KI-System das Ergebnis geliefert hat“. „Ich kümmere mich nicht darum, ob ein Beitragender ein Mensch oder eine Maschine ist. Ich schaue nur auf das Ergebnis.“ In dem Preisgeld-Repository heißt es außerdem, dass OpenAis Ankündigung keinen Peer-Review durchlaufen habe und dass die breite Akzeptanz in der gesamten Mathematikgemeinschaft nicht bestätigt worden sei.

Auch die Frage der Zuschreibung von Verdiensten bleibt offen. Der New-York-University-Professor Tristan Buckmaster behauptet, ein Teil seiner unveröffentlichten Forschung, an der er gemeinsam mit Kollegen gearbeitet habe, sei in OpenAIs Produkt gespeichert gewesen. Er fügte jedoch hinzu, er könne nicht sagen, ob diese Inhalte tatsächlich für das Training des Modells verwendet worden seien. Buckmaster zog in einem Interview mit **The Guardian** eine klare Linie: „Ich will niemanden ausdrücklich beschuldigen.“ OpenAI erklärte, man sei zu dem Ergebnis gekommen, dass es auf Basis eigener Untersuchungen keinen Weg gebe, über den der Codex-Prompt auf das System Einfluss hätte nehmen können, das diesen Nachweis erzeugt hat.

Die Kontroverse wurde ausgelöst, als OpenAI am 8. September behauptete, ein langjähriges Problem — die Existenz von Lösungen und die Frage nach ihrer Glätte bei der Navier-Stokes-Gleichung — gelöst zu haben, indem man ein Beispiel aus dem eigenen internen System präsentierte, das unter offiziellen Bedingungen eine endliche-Zeit-Singularität (finite-time singularity) zeigt.

Offene Aufgabe: Verifikation und Zuschreibung der Verdienste

Das Clay Mathematics Institute hat im Rahmen der „Millennium Prize Problems“ im Jahr 2000 sieben Aufgaben festgelegt und für jede ein Preisgeld von 1 Million US-Dollar ausgesetzt. Trotz inzwischen mehr als 20 Jahren befindet sich das Navier-Stokes-Problem weiterhin offiziell im Status „ungeklärt“. Mathematiker prüfen gemeinsam mit neuen Beweisen, die OpenAI vorgelegt hat, parallel auch die Fragen rund um Datenverwendung und die Aufteilung der Verdienste in der KI-gestützten Forschung.

Nächster Artikel: Shiba Inu repariert den kaputten Wallet-Link von Shibarium, aber SHIB rutscht in einer Woche um 6 % ab

#BTC