OpenAI nahm drei zusammenhängende Manuskripte aus seiner öffentlichen Mathematiksammlung zurück, nachdem das Unternehmen einen Vorzeichenfehler im Beweis der ersten Arbeit entdeckt hatte. Die Repository-Historie des Unternehmens repository historyverzeichnet unter einem Eintrag vom 7. Oktober auch Änderungen an 14 weiteren Manuskripten und aktualisierte Verweise in 13 weiteren. Die drei Rückzugsmitteilungen datieren auf den 6. Oktober. Sie benennen eine Lücke in den Beweisen, widerlegen aber nicht die mathematischen Aussagen.

Die große Veränderung

  • Was sich geändert hat: OpenAI ersetzte drei Manuskripte durch Rückzugsmitteilungen. Ein Vorzeichenfehler habe einen in der ersten Arbeit verwendeten Kürzungsschritt ungültig gemacht sowie eine Konstruktion, auf die sich die beiden anderen Arbeiten stützten.
  • Warum das wichtig ist: Wer diese konkreten Behauptungen zitiert oder darauf aufbaut, hat nun eine genaue Mitteilung und eine archivierte Fassung zur Prüfung. Die frühere Veröffentlichung reicht nicht aus, um die ursprünglichen Beweise als etabliert anzusehen.
  • Worauf zu achten ist: Das Repository verspricht, frühere Fassungen aufzubewahren und Änderungen zu dokumentieren. Eine unabhängige Prüfung muss jede korrigierte Aussage und jeden Beweis untersuchen; das Änderungsprotokoll allein belegt nicht die Belastbarkeit der übrigen Sammlung.

Wo der Beweis scheiterte

Die zuerst zurückgezogene Arbeit, „ Algebraicity of Weil classes on split abelian eightfolds“, beanspruchte ein Ergebnis zur Algebraizität in einem bestimmten Kontext abelscher Varietäten. Ihre withdrawal notice erläutert das Problem anhand der eigenen Konvention der Arbeit für vorzeichenbehaftete Doppelpunkte. Der Beweis begann mit einer Zählung von -m, wobei m positiv ist. Jedem m Trace der umgekehrten Stabilisierung wurde das Vorzeichen +1 zugewiesen, sodass die Zählung scheinbar zu null kürzte. OpenAI sagt nun, jeder Trace habe das Vorzeichen -1 aufgrund der entgegengesetzten Quellorientierungen der beiden Zweige der Standardspitze. Demnach ergibt die Zählung -2m und nicht null.

Der an dieser Stelle herangezogene Kürzungssatz verlangt eine vorzeichenbehaftete Doppelpunktsumme von null. OpenAI zufolge stützt der Beweis deshalb weder die anschließende orientierte Chirurgie und die eingebettete Branen-Konstruktion noch belegt er den beanspruchten Satz der Arbeit. Die Mitteilung sagt nicht, dass die Aussage des Satzes falsch ist.

Die beiden anderen Mitteilungen führen ihre Lücke auf eine Anpassung dieser Konstruktion zurück. OpenAI zufolge bleibt der in Algebraicity of Kuga–Satake Correspondences for K3 Surfaces beanspruchte Satz zur Algebraizität unbewiesen. Die Mitteilung zu The rational Hodge conjecture for products of K3 surfaces sagt dasselbe über den dort beanspruchten Satz für Produkte projektiver K3-Flächen. Dies sind die drei in der Historie genannten Manuskripte; andere, unabhängige Ergebnisse der Sammlung werden nicht als zurückgezogen bezeichnet.

Jede Mitteilung verweist auf ein PDF aus der Zeit vor dem Rückzug, gespeichert bei Repository-Revision adc7f1241b42e322a6451854ab7e4b4c146bf78a. BIG CHANGE prüfte die drei Mitteilungslinks und die Ziele der archivierten PDFs. Das war eine Prüfung öffentlicher Dokumente, keine mathematische Begutachtung der Argumente und kein Lean-Beweischeck.

Eine breitere Überarbeitung mit engeren Schlussfolgerungen

Im selben October 7 history entryHistorieneintrag vom 7. Oktober berichtet OpenAI, 14 weitere Manuskripte überarbeitet zu haben. Das Unternehmen beschreibt Beweisreparaturen und Änderungen an Aussagen, Voraussetzungen und Abhängigkeiten in mehreren Fachgebieten sowie die Korrektur eines veralteten Zitats. Laut Eintrag erhielten 13 weitere Manuskripte aktualisierte Verweise auf überarbeitete Begleitfassungen. OpenAI meldet außerdem sechs zusätzliche Formalisierungen; damit seien 300 von 719 Spitzenergebnissen formalisiert, rund 42%.

Diese Zahlen geben OpenAIs Darstellung der Repository-Aktualisierung wieder. Sie messen weder die Stichhaltigkeit der überarbeiteten Argumente noch zeigen sie, dass jede Behauptung in einem formalisierten Manuskript geprüft wurde. Die README des Repositorys weist selbst darauf hin, dass die Sammlung Arbeiten in unterschiedlichen Prüfstadien enthält und nicht formalisierte Ergebnisse problematisch sein können. Während dieser Berichterstattung fanden wir keine zeitnahe unabhängige mathematische Bewertung dieses konkreten Vorzeichenfehlers und der davon abhängigen Beweise.

Mit der Veröffentlichung am 6. Oktober wurde eine große Sammlung KI-generierter Manuskripte öffentlich zugänglich. Unsere frühere repository inspection erklärt, wie sich eine Fassung fixieren und ein Manuskript von seinen formalen Beweisartefakten unterscheiden lässt; unsere opinion on research-review capacity behandelt den Aufwand, eine Veröffentlichung dieser Größe zu prüfen. Der neue Rückzug liefert einen konkreten Grund, diese Unterscheidung zu bewahren. Für die drei Arbeiten hat OpenAI den gescheiterten Beweisschritt benannt und frühere PDFs zugänglich gehalten. Ob ein künftiger Beweis eine ihrer Aussagen etabliert, bleibt eine offene mathematische Frage.

Quellen und weiterführende Informationen

OpenAIs repository history dokumentiert die drei Rückzüge, 14 Manuskriptüberarbeitungen, aktualisierte Verweise in 13 Begleitwerken und die Zahl der Formalisierungen im Eintrag vom 7. Oktober 2026. Die einzelnen Mitteilungen zu Weil-class, und and erläutern die behaupteten Lücken, datieren die Rückzüge auf den 6. Oktober und verlinken archivierte PDFs einer festen Revision. Dies sind Aufzeichnungen von OpenAI: Sie belegen unmittelbar, was das Unternehmen mitgeteilt hat, sind aber keine unabhängige Beweisprüfung. notices explain the claimed gaps, label the withdrawals October 6 and link archived PDFs at a fixed revision. These are OpenAI's records; they are direct evidence of what the company disclosed, not independent proof review.

OpenAIs October 6 announcement erläutert die erste Veröffentlichung und geplante Ergänzungen. BIG CHANGE prüfte am 8. Oktober die aktuelle Historie, die drei Mitteilungen und ihre Archivlinks. Wir führten Lean nicht aus, prüften nicht jedes überarbeitete Manuskript und verifizierten die Mathematik nicht unabhängig.