OpenAI behauptet, mathematisches Problem gelöst zu haben, doch Mathematiker werfen Diebstahl vor

OpenAI gibt an, ein KI-System habe das Navier-Stokes-Problem gelöst, eines der sieben Millennium-Preisprobleme, die als die schwierigsten offenen Fragen der Mathematik gelten.
Das Unternehmen erklärte, dass 10.000 KI-Agenten 88 Stunden zusammenarbeiteten, um den Beweis zu erbringen. Der NYU-Professor Tristan Buckmaster bestreitet jedoch die Anerkennung.
Was OpenAI behauptet
Die Navier-Stokes-Gleichungen beschreiben, wie sich Flüssigkeiten wie Luft oder Wasser bewegen.
Der von OpenAI präsentierte Beweis deutet darauf hin, dass die Gleichungen zu einem endlichen Zeitblowup führen können, bei dem die Geschwindigkeit der Flüssigkeit unendlich wird, anstatt glatt zu bleiben.
Der Beweis stammt von einem unveröffentlichten Modell, das laut OpenAI leistungsfähiger ist als das veröffentlichte GPT-6 Astra-System.
GPT-6 Astra verbrachte anschließend 17 Stunden damit, die Logik des Beweises zu überprüfen.
Das Clay Mathematics Institute bietet $1 Million für die Lösung eines der sieben Probleme. OpenAI erklärte, es werde den Preis nicht beanspruchen.
Der Streit um die Anerkennung
Der NYU-Professor Tristan Buckmaster gibt an, dass er und der Mathematiker Levent Alpöge von Anthropic kurz vor einem ähnlichen Ergebnis standen.
Ihre Arbeit befand sich im Inneren von OpenAIs Codex, einem auf Codierung fokussierten KI-Modell. Buckmaster sagte, dies könnte sie dem OpenAI-Team zugänglich gemacht haben.
„I do not know what their model did, or how. I do not know whether our data was used. I am not accusing anyone of anything.“
OpenAI-Forscher Sebastien Bubeck reagierte auf einer Pressekonferenz und bestritt, dass das Unternehmen auf ihre unveröffentlichte Arbeit zugegriffen oder sie genutzt habe.
OpenAI räumte jedoch ein, dass es nicht ausgeschlossen werden kann, dass die Nutzung der Produkte der Forscher das Training seines Modells beeinflusst hat.
Der Streit kommt zu einem Zeitpunkt, an dem OpenAI sich auf einen Börsengang mit einem geschätzten Wert von $1 Billion vorbereitet. Anthropic strebt eine noch höhere Bewertung durch seinen eigenen Börsengang an.

