OpenAI behauptet, das tiefste Problem der Mathematik gelöst zu haben – Mathematiker sagen, die KI habe ihre Arbeit gestohlen

OpenAI zufolge hat ein KI-System das Navier-Stokes-Problem gelöst. Es ist eines der sieben Millennium-Probleme, der schwierigsten offenen Fragen der Mathematik.

Das Unternehmen erklärte, 10.000 KI-Agenten hätten 88 Stunden lang zusammengearbeitet, um den Beweis zu erbringen. Der NYU-Professor Tristan Buckmaster bestreitet diese Zuschreibung.

Was OpenAI behauptet

Die Navier-Stokes-Gleichungen beschreiben, wie sich Flüssigkeiten und Gase bewegen, etwa Wasser oder Luft.

OpenAIs Beweis legt nahe, dass es bei den Gleichungen zu einem Blow-up in endlicher Zeit kommen kann: Dabei werden die Strömungsgeschwindigkeiten unendlich, statt glatt zu bleiben.

Der Beweis stammt von einem noch nicht veröffentlichten Modell, das laut OpenAI leistungsfähiger ist als das veröffentlichte System GPT-6 Astra.

GPT-6 Astra benötigte anschließend 17 Stunden, um die Logik des Beweises zu überprüfen.

Das Clay Mathematics Institute bietet eine Million US-Dollar für die Lösung eines der sieben Probleme. OpenAI erklärte, den Preis nicht beanspruchen zu wollen.

Der Streit um die Zuschreibung

Der NYU-Professor Tristan Buckmaster sagt, er und der Mathematiker Levent Alpöge von Anthropic seien einem verwandten Ergebnis nahe gewesen.

Ihre Arbeit war in OpenAIs Codex eingebettet, einem auf Programmierung spezialisierten KI-Modell. Buckmaster sagte, dadurch könnte sie dem Team von OpenAI bekannt geworden sein.

Buckmaster ging in einer öffentlichen Stellungnahme direkt auf diese Sorge ein:

„Ich weiß nicht, was ihr Modell getan hat oder wie. Ich weiß nicht, ob unsere Daten verwendet wurden. Ich beschuldige niemanden irgendetwas.“

— Tristan Buckmaster, Mathematiker an der NYU

Der OpenAI-Forscher Sebastien Bubeck antwortete bei einem Pressebriefing. Er bestritt, dass das Unternehmen auf ihre unveröffentlichte Arbeit zugegriffen oder sie verwendet habe.

OpenAI räumte noch etwas anderes ein: Das Unternehmen kann nicht ausschließen, dass die Nutzung seines Produkts durch die Forschenden das Training seines Modells beeinflusst hat.

Der Streit kommt zu einem Zeitpunkt, an dem OpenAI Berichten zufolge einen Börsengang mit einer Bewertung von 1 Billion US-Dollar vorbereitet. Anthropic strebt mit eigenen Börsengangsplänen eine noch höhere Bewertung an.

Quelle: BeInCrypto