OpenAI hat auf dem Gebiet der Mathematik einen Durchbruch erzielt, es gibt jedoch viele Streitigkeiten über die Eigentümerschaft der damit verbundenen Ergebnisse.

Zusammenfassung:

Der ChatGPT-Entwickler OpenAI war in einen öffentlichen Streit mit einem Mathematiker verwickelt, nachdem er behauptet hatte, ein großes Problem in der Mathematik gelöst zu haben. Der Mathematiker hatte entsprechende Forschungen mit einem Forscher bei Anthropic, seinem größten Konkurrenten, durchgeführt. OpenAI gab am Dienstag bekannt, dass ein internes Modell, das nicht der Öffentlichkeit zugänglich gemacht wurde, die Navier-Stokes-Gleichungen gelöst hat. Die Belohnung für dieses komplexe mathematische Rätsel beträgt bis zu 1 Million US-Dollar.

Tristan Buckmaster, ein Mathematiker an der New York University, warf OpenAI jedoch unangemessenes Verhalten vor. Buckmaster hatte zuvor mit dem anthropischen Mathematiker Levent Alper an verwandten Forschungen gearbeitet.

Während sich die Kontroverse zuspitzte, verteidigte CEO Sam Altman am Dienstag OpenAI und sagte, das Labor sei „grundlosen Plagiatsvorwürfen“ ausgesetzt gewesen.

Dieser Streit um mathematische Durchbrüche spiegelt nicht nur die kontinuierliche Verbesserung der Fähigkeiten von KI-Systemen wider, sondern verdeutlicht auch den harten Wettbewerb zwischen OpenAI und Anthropic, der zu unerwarteten Kontroversen geführt hat.

Die Mathematik-Kontroverse begann mit einem Blog-Beitrag, der am Dienstag von OpenAI veröffentlicht wurde. In dem Artikel heißt es, dass die Agentur eine Lösung für die Navier-Stokes-Gleichung gefunden habe. Diese Gleichung ist eines der sieben vom Clay Mathematics Institute vorgeschlagenen Millennium-Preis-Probleme und gilt als das „schwierigste“ Problem der Mathematik.

OpenAI sagte, dass es seit Ende August ein neues internes Modell trainiert, das eine „beispiellose Leistung“ im Bereich der Mathematik aufweist. Das Unternehmen sagte, nachdem es Anfang September „Gerüchte“ gehört habe, dass Anthropic einige der Probleme gelöst habe, sei es dazu inspiriert worden, zu versuchen, das Modell zur Lösung aller ungelösten Millenniumsprobleme zu nutzen, mit einem Preisgeld von 1 Million US-Dollar für jedes Problem.

OpenAI gab an, später erfahren zu haben, dass relevante Gerüchte auf Alper und Buckmaster hindeuteten. Nach Abschluss seines eigenen Forschungsprojekts kontaktierte OpenAI die beiden Wissenschaftler und „schlug vor, die Forschungsergebnisse beider Parteien gleichzeitig zu veröffentlichen und ihre Forschungsprioritäten in einer gemeinsamen Erklärung anzuerkennen.“

Aber die Aussage von Buckmaster unterscheidet sich deutlich von der Version von OpenAI. Der Professor der New York University sagte am Dienstag, dass OpenAI seine bestehenden Forschungsideen nutzte und enorme Rechenressourcen investierte, um das Problem zu lösen und die Ergebnisse zu vervollständigen, bevor er und das Konkurrenzprodukt Anthropic.

Große Labore und KI-Anwender stehen im Allgemeinen vor dem Dilemma, dass es an Rechenleistung mangelt und die Betriebskosten modernster Modelle kontinuierlich steigen. OpenAI gab an, Millionen von Dollar in die Lösung dieses Problems investiert zu haben.

Buckmaster und Alper gaben am Dienstag drei Beweise bekannt, die als Meilensteine ​​gelten, die eng mit den Navier-Stokes-Gleichungen zusammenhängen, darunter ein Durchbruch auf dem Gebiet der Euler-Gleichungen.

Die beiden verwendeten in ihrer Forschung verschiedene Modelle, darunter Tools von Google Deep Thinking, Anthropic und OpenAI. Buckmaster glaubt, dass ihre Forschungs- und Problemlösungsideen den Grundstein für die Lösung der Navier-Stokes-Gleichung gelegt haben.

Buckmaster sagte, dass er und Alper privat Forschung betrieben hätten und sich „daran gemacht hätten, das Problem auf unauffällige Weise anzugehen“, und zwar mithilfe von Ideen, die in früheren wissenschaftlichen Arbeiten vorgeschlagen wurden. „Soweit ich weiß, führt fast niemand sonst diese Forschung durch. Es ist unmöglich, dem Modell einfach eine Problembeschreibung zu geben und diesen Forschungsweg in nur wenigen Tagen herauszufinden.“

Er erzählte von einem Gespräch mit dem OpenAI-Forscher Sebastian Buback. Buckmaster sagte, Bubeck habe zweimal darum gebeten, Alpers Namen aus dem Zertifizierungspapier zu streichen, mit der Begründung, dass Alper bei Anthropic angestellt sei. Buback bestritt diese Behauptung.

Dem Bericht des Professors zufolge wurde das Gespräch hitziger, nachdem Buckmaster Buback darüber informiert hatte, dass er beabsichtige, den Streit öffentlich zu machen.

Altman hat am

Altman fügte hinzu: „Als wir erfuhren, dass sie die Euler-Gleichung bezwungen, aber die Navier-Stokes-Gleichung noch nicht gelöst hatten, schlugen wir vor, dass sie die ersten sein sollten, die die Ergebnisse veröffentlichen und den Preis beanspruchen sollten; wir schlugen auch vor, dass Tristan Buckmaster der erste Autor des neu geschriebenen OpenAI-Proof-Papers sein könnte.“

Altman sagte, dass es schwierig sei, Alper, der bei Anthropic arbeitet, denselben Kooperationsvorschlag zu unterbreiten, da die andere Partei „auf jeden Fall nicht bereit sei, mit uns zu kommunizieren und zusammenzuarbeiten“. Er fügte jedoch hinzu, dass OpenAI „offen für die Prüfung anderer Lösungen“ sei.

Anthropic antwortete nicht auf eine Bitte um einen Kommentar.

Alpoer gepostet am

Er fügte hinzu: „Das ist ziemlich bizarr, es fehlt an Strategie und es ist völlig unnötig.“

Beide Forscher schlugen vor, dass ihre Forschungsdaten aufgrund der Verwendung der OpenAI-Tools eine Referenz für die Modellideen des OpenAI-Labors zur Problemlösung sein könnten.

OpenAI sagte: „Um dieses Problem zu lösen, haben wir keine spezifischen Benutzerdaten abgerufen“, es konnte jedoch nicht „ausschließen, dass anonymisierte Daten aus ihrem Produktnutzungsverhalten eine gewisse Rolle bei der Modelloptimierung spielten“. OpenAI gab außerdem an, dass sich sein Beweisprozess und seine Forschungsergebnisse von den Forschungsergebnissen von Alper und Buckmaster unterscheiden.