OpenAIs Astra-Matheergebnisse unter Plagiatsverdacht

Das nächste große KI-Modell von OpenAI, intern Astra genannt, hat zehn langjährige offene Probleme in der Mathematik und der theoretischen Informatik gelöst. Die Ankündigung wird jedoch von Vorwürfen des wissenschaftlichen Fehlverhaltens überschattet: Mathematiker werfen dem Unternehmen vor, frühere Arbeiten nicht angemessen gewürdigt zu haben.

Ein mathematischer Durchbruch für 2.000 Dollar

Am 31. Juli veröffentlichte OpenAI einen Blogbeitrag mit Details zu den Ergebnissen „einer internen Version von Astra, unserem nächsten großen Modell“. Das Unternehmen beanspruchte Fortschritte in Bereichen wie der hochdimensionalen Kugelpackung, der Quantenspieltheorie, der Gruppentheorie und der extremalen Kombinatorik für sich. Die gesamten Token-Kosten für die Generierung der mathematischen Argumente beliefen sich laut OpenAI auf gerade einmal 2.000 US-Dollar. Jedes Ergebnis wurde im Beweisassistenten Lean formalisiert, und OpenAI erklärte, die „Verantwortung für deren Richtigkeit“ zu übernehmen.mashable+3

Die Ergebnisse reihen sich in eine Serie KI-gestützter mathematischer Erfolge in diesem Jahr ein, darunter die Widerlegung der Erdős-Vermutung über Einheitsabstände durch OpenAI im Mai und der Beitrag von Anthropic zur Widerlegung der Jacobi-Vermutung.mashable

Plagiatsvorwürfe werden laut

Als Mathematiker die fast 250-seitige Arbeit genauer unter die Lupe nahmen, wuchs der Unmut. Steven Miller, Mathematiker an der Yeshiva University, erklärte gegenüber Scientific American, dass OpenAIs Kugelpackungs-Ergebnis auf einem Argument beruhe, das „eigentlich zuerst in einer Arbeit aus dem Jahr 2016“ erschienen sei, die er mitverfasst habe. „Sie gehen ganz bewusst rücksichtslos über die Arbeit derer hinweg, die vor ihnen da waren“, sagte Miller. „Das erscheint mir völlig systematisch zu sein und deutet auf wissenschaftliches Fehlverhalten hin.“scientificamerican

Ein weiteres Ergebnis, das nicht-sofische Gruppen betrifft, stieß bei Francesco Fournier-Facio von der Universität Cambridge auf Kritik. Er stellte fest, dass der entscheidende Schritt Ideen aus Arbeiten aus den Jahren 2016 und 2019 kombinierte. Dies widersprach der ursprünglichen Behauptung von OpenAI, die Probleme seien „seit mindestens einem Jahrzehnt offen gewesen, ohne dass Fortschritte beim Hauptresultat erzielt wurden“. OpenAI hat diese Formulierung inzwischen angepasst.scientificamerican

„Da ist diese riesige PR-Maschine, die so beeindruckend wie möglich klingen will und sich nicht darum schert, zu 100 Prozent korrekt zu sein“, sagte Fournier-Facio gegenüber Scientific American.scientificamerican

Wie es weitergeht

Details zur Veröffentlichung von Astra für die Allgemeinheit sind bislang rar. OpenAI hat nicht mitgeteilt, ob Astra als GPT-5.7, als Vorbote von GPT-6 oder unter einem ganz anderen Namen erscheinen wird. Berichten zufolge stellt das Unternehmen das Modell derzeit in Washington, D.C. vor. Ein freiwilliges Rahmenabkommen des Weißen Hauses zur Überprüfung von Spitzenmodellen vor deren Veröffentlichung könnte den Zeitplan beeinflussen.mashable

Der Columbia-Mathematiker Andrew Blumberg äußerte sich verhalten. Bei den Ergebnissen handele es sich um „recht kurze“ Konstruktionen, „entweder Gegenbeispiele oder kleine, extrem clevere Konstruktionen, die auf Bekanntem aufbauen“, und nicht um tiefgreifende konzeptionelle Durchbrüche. „Wenn ein Mensch viele dieser Dinge vollbracht hätte, würde diese Person zu Recht gefeiert werden“, sagte er gegenüber Mashable, „aber sie ändern meine grundlegenden Annahmen nicht.“mashable