OpenAI verzeichnete am 7. Oktober 2026 den Rückzug von drei Manuskripten aus seinem Mathematik-Repository. Laut Repository-Chronik machte ein Vorzeichenfehler ein zentrales Argument und eine Konstruktion ungültig, auf der zwei weitere Arbeiten aufbauten. Einen Tag zuvor hatte OpenAI die mathematischen Ergebnisse veröffentlicht; die Association for Human Mathematics (AHM) kritisierte Umfang und Vorgehen.

OpenAI zog drei Manuskripte zurück

Die Chronik führt drei zurückgezogene Arbeiten auf: „Algebraicity of Weil classes on split abelian eightfolds“, „Algebraicity of Kuga–Satake Correspondences for K3 Surfaces“ und „The rational Hodge conjecture for products of K3 surfaces“. Der Vorzeichenfehler betraf dem Eintrag zufolge ein Argument zur Aufhebung einer Stabilisierungsspur. Auch eine Konstruktion, die in zwei weiteren Manuskripten verwendet wurde, war betroffen.

Der Rückzug betrifft diese drei Manuskripte. Für den früheren Kontext zum Navier–Stokes-Anspruch von OpenAI gibt es eine separate Einordnung.

Die Kritik der AHM an der Veröffentlichung

Die AHM kritisierte, dass OpenAI mehr als 700 Dateien auf einmal veröffentlicht habe. Sie wertete diese gebündelte Veröffentlichung als Machtdemonstration statt als wissenschaftliche Leistung und forderte Mathematiker auf, ihre Arbeit mit OpenAI einzustellen. Die Organisation äußerte sich als Reaktion auf OpenAIs Veröffentlichung vom 6. Oktober; ihre Stellungnahme ist auf der AHM-Seite veröffentlicht.

OpenAIs Angaben zum Veröffentlichungsverfahren

OpenAI erklärte in seinem Beitrag vom 6. Oktober, das Unternehmen habe die unabhängige Institute for Advanced Study Advisory Group on Mathematics and Artificial Intelligence konsultiert und arbeite Empfehlungen in seine Veröffentlichungspraktiken ein. OpenAI beschrieb außerdem Prüf- und Zitierverfahren für das Repository.

Was die Lean-Zahl aussagt

Lean ist ein Beweisassistent: Ein mathematischer Beweis wird in eine formale Sprache übertragen, sodass die Software seine logischen Schritte anhand festgelegter Regeln prüfen kann. In der Repository-Chronik vom 7. Oktober waren 300 von 719 zentralen Ergebnissen in Lean formalisiert, rund 42 Prozent. Die Zahl beschreibt den Formalisierungsstand dieser Momentaufnahme.

Weitere Änderungen im Repository

Neben den drei Rückzügen verzeichnete die Chronik Überarbeitungen an 14 Manuskripten, aktualisierte Verweise in 13 weiteren Manuskripten und sechs zusätzliche Formalisierungen.