KI-Durchbruch bei Navier-Stokes: Streit um Urheberschaft zwischen OpenAI und Anthropic-Forschern

Ein Streit über eines der berühmtesten ungelösten Probleme der Mathematik entbrannte am Dienstag, nachdem der NYU-Mathematiker Tristan Buckmaster OpenAI beschuldigte, sich voreilig Lorbeeren für Arbeiten angeeignet zu haben, die auf seiner eigenen Forschung basieren. Zudem soll das Unternehmen ihn unter Druck gesetzt haben, seinen Mitarbeiter aufgrund dessen Verbindungen zu einem konkurrierenden KI-Unternehmen von der Autorenschaft auszuschließen.

Die Mathematik

Buckmaster und Levent Alpöge, ein bei Anthropic angestellter Mathematiker, verbrachten etwa ein Jahr damit, KI-Tools zu nutzen, um ein von Diego Córdoba und Luis Martínez-Zoroa initiiertes Forschungsprogramm zu erweitern. Ihre Arbeit, die am späten Montag zusammen mit einer formalen Verifizierung im Lean-Beweisassistenten veröffentlicht wurde, zeigt, dass mehrere Strömungsgleichungen, die eng mit Navier-Stokes verwandt sind – einschließlich der inkompressiblen 3D-Euler-Gleichungen – unter glatter Anregung in endlicher Zeit Singularitäten entwickeln können. Der Fields-Medaillen-Träger Terence Tao nannte die Ergebnisse "eine bemerkenswerte Leistung" und sieht "kein grundlegendes Hindernis", die Methoden auf die vollständigen Navier-Stokes-Gleichungen auszuweiten.newscientist+2

Die Navier-Stokes-Gleichungen, die die Bewegung von Flüssigkeiten beschreiben, gehören zu den sieben Millennium-Problemen des Clay Mathematics Institute, die jeweils mit einem Preisgeld von 1 Million Dollar dotiert sind. Mathematiker kämpfen seit zwei Jahrhunderten mit der Frage, ob die Lösungen der Gleichungen immer glatt bleiben oder in Singularitäten explodieren können.scientificamerican

Der Streit

Laut Buckmasters öffentlicher Stellungnahme erreichten Gerüchte über seine und Alpöges Fortschritte OpenAI um den 3. September. Tage später teilte ihm der OpenAI-Wissenschaftler Sébastien Bubeck mit, ein internes Modell habe einen etwa 100-seitigen Beweis erstellt, der das Ergebnis auf die vollständigen erzwungenen Navier-Stokes-Gleichungen ausweitet. Buckmaster behauptet, die Bemühungen des Unternehmens hätten erst begonnen, nachdem sie von seiner Arbeit erfahren hatten, und seien dem gleichen engen technischen Ansatz gefolgt – der auf den "Forcing"-Term in der formalen Problemstellung des Clay-Instituts abzielte –, den er und Alpöge im Stillen verfolgt hatten.officechai+1

Buckmaster sagt, Bubeck habe zweimal darauf gedrängt, Alpöge von der Autorenschaft auszuschließen, und dessen Anstellung bei Anthropic als Komplikation angeführt. Als Buckmaster ankündigte, an die Öffentlichkeit zu gehen, soll Bubeck geantwortet haben: "Warum willst du deine Karriere ruinieren?" Er sagt auch, er habe gefragt, ob das Modell von OpenAI mit seinen privaten Codex-Sitzungsdaten trainiert worden sei, die Entwürfe der Beweise enthielten. Er habe keine klare Antwort erhalten.scientificamerican+1

Bubeck reagierte auf X, nannte die Vorwürfe "falsch und hetzerisch" und erklärte, er habe "gemäß akademischen Normen" gehandelt. Er versprach eine ausführlichere Stellungnahme.officechai

Was ungeklärt bleibt

Der von OpenAI beanspruchte Navier-Stokes-Beweis wurde nicht veröffentlicht oder von externen Mathematikern verifiziert. Selbst die verifizierten Buckmaster-Alpöge-Ergebnisse befassen sich mit erzwungenen Versionen verwandter Gleichungen, nicht mit dem nicht-erzwungenen Navier-Stokes-Problem, wie es die meisten Experten im Sinne des Millennium-Preises interpretieren. David Silvester von der University of Manchester merkte an, dass die aktuelle Arbeit dennoch ausreichen könnte, um den Preis zu beanspruchen, während Camilla Nobili von der University of Surrey warnte, dass die Ausweitung auf die vollständigen Navier-Stokes-Gleichungen mehr erfordern werde, als nur dieselbe Technik erneut anzuwenden.glitchwire+3

"Nichts wird sich in den Anwendungen, in denen Navier-Stokes verwendet wird, aufgrund dieses Ergebnisses ändern", sagte Silvester. "Es ist ehrlich gesagt eine mathematische Feinheit." Die größere Frage – ob konkurrierende KI-Labore die Normen der mathematischen Entdeckung verzerren werden – könnte sich als schwerer zu lösen erweisen als die Gleichungen selbst.newscientist