AI-translated from English; not yet reviewed by a fluent editor. # OpenAI zieht drei Mathematikmanuskripte wegen eines Vorzeichenfehlers zurück > OpenAI zog drei Mathematikmanuskripte wegen eines Vorzeichenfehlers zurück. Die Mitteilungen benennen den fehlerhaften Beweisschritt, bewahren frühere PDFs und beweisen die Behauptungen nicht. By BIG CHANGE Editorial Published: 2026-10-08T16:17:52.496Z Updated: 2026-10-08T22:15:14.321Z Canonical: https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error ![A plain wall-mounted blackboard bears a single minus sign over a faint, partly erased plus-shaped chalk mark; a small eraser rests on its attached ledge.](https://bigchange.ai/api/media/file/openai-math-sign-correction-hero-v1.png) AI-generated conceptual illustration by BIG CHANGE. The board and marks are symbolic; no real proof, source document, repository, review or theorem validation is depicted. 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 history](https://github.com/openai/math/blob/main/history.md)verzeichnet 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](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md) 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*](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) beanspruchte Satz zur Algebraizität unbewiesen. Die Mitteilung zu [*The rational Hodge conjecture for products of K3 surfaces*](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) 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 entry](https://github.com/openai/math/blob/main/history.md)Historieneintrag 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](https://github.com/openai/math) 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](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) erklärt, wie sich eine Fassung fixieren und ein Manuskript von seinen formalen Beweisartefakten unterscheiden lässt; unsere [opinion on research-review capacity](https://bigchange.ai/blog/ai-research-discovery-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](https://github.com/openai/math/blob/main/history.md) 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](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md), [ und ](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) 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.](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) 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](https://openai.com/index/sharing-ai-progress-in-mathematics/) 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. ## Sources - [OpenAI-Mathematik-Repository-Historie](https://github.com/openai/math/blob/main/history.md) — OpenAIs Angaben zum Vorzeichenfehler, den drei Rückzügen, 14 Überarbeitungen, aktualisierten Verweisen und zusätzlichen Formalisierungen. - [OpenAI-Mathematik-Repository](https://github.com/openai/math) — Prüfen Sie die Mitteilungen, archivierten Fassungen und Revisionsmetadaten der betroffenen Manuskripte; sie belegen den Dokumentstatus, nicht die mathematische Richtigkeit. - [KI-Fortschritte in der Mathematik teilen](https://openai.com/index/sharing-ai-progress-in-mathematics/) — Nur Kontext zur ersten Sammlung; ihre weitreichenden Aussagen nicht als Bestätigung wiederholen.