# OpenAI zieht drei Mathe-Papers wegen Beweisfehlers zurück

> Am Oct 7 2026 kündigte OpenAI an, drei Fachartikel zur algebraischen Geometrie zurückzuziehen. Ein Vorzeichenfehler machte zentrale Argumente ungültig.

Oossa · 2026-10-08 · https://oossa.com/de/openai-pulls-three-math-papers-after-proof-error-discovered

OpenAI teilte mit, drei mathematische Preprints zurückzuziehen, nachdem in einem zentralen Beweis ein Vorzeichenfehler entdeckt worden war. Dadurch ist ein Schritt zur Aufhebung der Spur bei der Stabilisierung ungültig; zugleich werden zwei spätere Arbeiten infrage gestellt, die auf dem Ergebnis aufbauten. Die zurückgezogenen Manuskripte sind:
• Algebraicity of Weil classes on split abelian eightfolds
• Algebraicity of Kuga–Satake Correspondences for K3 Surfaces
• The rational Hodge conjecture for products of K3 surfaces
OpenAI hat Hinweise zu den Arbeiten hinzugefügt und auf archivierte Fassungen verlinkt, damit Leserinnen und Leser die Beweislücke nachvollziehen können.

## Was wurde noch aktualisiert?

Neben den Rücknahmen korrigierte OpenAI 14 weitere Manuskripte. Die Änderungen schließen Beweislücken, präzisieren Voraussetzungen und berichtigen Quellenangaben. Betroffen sind unter anderem Lipschitz-Höhen, Kählersche minimale Modellprogramme und hypersymplektische Deformationen. Weitere 13 Arbeiten wurden aktualisiert, damit sie auf die überarbeiteten Fassungen verwandter Arbeiten verweisen. Außerdem ergänzte die Organisation sechs neue Formalisierungen. Damit sind nun rund 42 % der Hauptergebnisse formal verifiziert (300 von 719).

## Die Fakten

- Die Rücknahmen wurden am October 7, 2026 angekündigt.
- Drei Arbeiten wurden zurückgezogen, weil ein Vorzeichenfehler ein Argument zur Aufhebung der Spur bei der Stabilisierung ungültig machte.
- OpenAI überarbeitete 14 weitere Manuskripte und aktualisierte die Quellenangaben in 13 weiteren.
- Sechs neue Formalisierungen kamen hinzu; damit sind rund 42 % der Ergebnisse formalisiert.
- Die zurückgezogenen Arbeiten enthalten nun Hinweise mit Links zu den archivierten Fassungen.

## Warum es wichtig ist

Für Mathematikerinnen und Mathematiker, die OpenAIs Arbeit zur formalen Verifikation verfolgen, bedeutet der Rückzug eine Lücke in der Fachliteratur, die Forschungen betreffen kann, in denen diese drei Ergebnisse zitiert wurden. Leserinnen und Leser können nun genau nachvollziehen, wo der Fehler lag, und vermeiden, auf dem fehlerhaften Beweis aufzubauen. Zugleich profitiert die Fachgemeinschaft von den 14 korrigierten Arbeiten und den neuen Formalisierungen, die die Zuverlässigkeit von OpenAIs mathematischer Sammlung verbessern.

## Quellen und Referenzen

1. [OpenAI Withdraws 3 Math Papers](https://github.com/openai/math/blob/main/history.md) – Hacker News, 2026-10-08
2. [OpenAI’s math solutions aren’t meeting the field’s standards yet](https://techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/) – TechCrunch, 2026-10-08
3. [Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field](https://the-decoder.com/some-mathematicians-call-for-openai-boycott-after-ai-generated-proofs-flood-their-field/) – The Decoder, 2026-10-08
4. [OpenAI withdraws three mathematical results](https://twitter.com/danintheory/status/2108065033070789090) – Hacker News, 2026-10-08

Zuletzt aktualisiert: 2026-10-08