OpenAI spielte unsauber bei karriereentscheidendem Mathe-Problem, sagt NYU-Mathematiker

NYU-Mathematikprofessor Tristan Buckmaster gab am Dienstag drei Beweise mit einem vorläufigen Ergebnis zu einem der großen ungelösten Probleme der theoretischen Mathematik bekannt. Die Ergebnisse, die in Zusammenarbeit mit dem Anthropic-Mathematiker Levent Alpöge unter Verwendung der KI-Modelle Codex und Claude erzielt wurden, sind an sich schon bedeutend – aber sie werden auch von einer ungewöhnlichen Kontroverse um die Versuche von OpenAI begleitet, dasselbe Problem zu lösen.

„Es gibt noch einen anderen Teil dieser Geschichte“, schrieb Buckmaster in seiner Stellungnahme zur Bekanntgabe der Beweise, „und einen, mit dem ich mich ehrlich gesagt sehr wünschte, mich nicht befassen zu müssen.“

Während Buckmaster und Alpöge ihre Ergebnisse fertigstellten, erfuhren sie, dass „Informationen über unsere Fortschritte an OpenAI weitergegeben worden waren“. Als sie OpenAI diesbezüglich kontaktierten, wurde ihnen mitgeteilt, dass OpenAI bereits einen vollständigen Beweis für das zentrale Problem erbracht habe. Doch als sie Anschlussfragen dazu stellten, wann OpenAI mit der Erforschung des Problems begonnen hatte und wie viel menschlicher Input beteiligt war, wurden die Antworten ausweichender.

„Es stellte sich heraus, dass ein ganzes Team an dem Problem gearbeitet hatte“, sagt Buckmaster, „und dass eine wahnsinnige Menge an Rechenleistung aufgewendet worden war... Schließlich wurde vereinbart, dass [der erste Prompt] in den letzten Tagen gesendet worden war, nachdem Informationen über unsere Arbeit OpenAI erreicht hatten.“