OpenAIs Mathematik auf dem Prüfstand: Masseneinreichung und sofortige Rückzüge

Am 6. Oktober 2026 hat OpenAI eine Reihe mathematischer Ergebnisse vorgestellt, die ein eigenes internes Frontier-Modell erzeugt hat – unveröffentlicht und namenlos. Die Manuskripte liegen im öffentlichen GitHub-Repository „openai/math“ unter der Apache-2.0-Lizenz. Laut Dokumentation stammt der Großteil der Ergebnisse daraus, dass dem Modell rund viertausend Probleme vorgelegt wurden; der Rechenaufwand für ein durchschnittliches Ergebnis wird auf etwa drei Stunden „Thinking“ von ChatGPT Pro geschätzt. Die Initiative folgt auf die Kritik von Mathematikern an den Behauptungen vom August, als OpenAI Ergebnisse zu offenen Problemen für sich reklamiert hatte, darunter eine Arbeit zu Navier-Stokes. Daraufhin entstand am Institute for Advanced Study die Advisory Group on Mathematics and Artificial Intelligence (AGMAI), die gute Publikationspraktiken festlegen soll.

OpenAI erklärt zwar, die AGMAI konsultiert und deren Empfehlungen teilweise befolgt zu haben – mit veröffentlichten Rechenschätzungen, Statistiken und der angekündigten Finanzierung künftiger Workshops –, doch die Veröffentlichung erfüllt die Kriterien der Gruppe nicht vollständig. Die am 29. September 2026 veröffentlichten Leitlinien der AGMAI verlangen, Ergebnisse in Archiven zu hinterlegen, die nicht von den Herkunftslaboren kontrolliert werden, und die Modelle öffentlich zu machen, damit die Arbeit reproduzierbar ist. Die AGMAI erklärte zudem, dass sie es nicht gutheißt, fortgeschrittene mathematische Probleme proprietären Modellen vorzulegen („we do not endorse this practice“), und bekräftigte, dass das menschliche Verständnis der Mathematik an erster Stelle steht.

Wie fragil eine so massive Veröffentlichung ist, zeigte sich schon am Tag nach dem Start. Das Revisionsprotokoll verzeichnet zum 7. Oktober den Rückzug von drei Manuskripten: Ein Vorzeichenfehler in einer Arbeit über Weil-Klassen hat das Hauptargument hinfällig gemacht und zwei darauf aufbauende Arbeiten mitgerissen. Außerdem führt das Protokoll Korrekturen an vierzehn Manuskripten und aktualisierte Literaturangaben in dreizehn weiteren auf. Derzeit sind 300 der 719 Hauptergebnisse in Lean formalisiert, rund 42 %. Für die übrigen warnt OpenAI selbst, dass einige „Probleme haben könnten“. Wie Annemarije de Boer bei Yahoo Tech anmerkte, reicht selbst eine formale Verifikation nicht aus, um festzustellen, ob ein Ergebnis wirklich neu, bedeutsam oder richtig aufgesetzt ist. Die Auswahl der Ergebnisse hat OpenAI getroffen, keines wurde nach bisherigem Stand begutachtet, und die Sammlung wurde nicht unabhängig bewertet. Da das Modell weder benannt noch zugänglich ist, lässt sich die Erzeugung nicht reproduzieren.

Eine Veröffentlichung dieser Größenordnung verlagert einen erheblichen Teil der Prüfarbeit auf die mathematische Gemeinschaft: Drei Rückzüge und Dutzende Korrekturen an einem einzigen Tag machen das deutlich. Automatisiertes Schreiben ist noch keine automatisierte Wahrheit. — Olya