AntwortenVeröffentlicht21 Quellen
Warum OpenAI drei KI-generierte Mathematikarbeiten zurückzog
Am 7. Oktober 2026 zog OpenAI drei Arbeiten aus seiner Sammlung von 722 KI generierten Manuskripten zurück: Ein falsches Vorzeichen entkräftete einen Beweis zu Weil Klassen und zwei darauf aufbauende Argumente.
Veröffentlicht vonBearbeitet mit GPT-6 LunaBilder erstellt mit GPT Image 2
Forschungsantwort
Wichtige Erkenntnisse
- Am 7. Oktober 2026 zog OpenAI drei Arbeiten aus seiner Sammlung von 722 KI generierten Manuskripten zurück: Ein falsches Vorzeichen entkräftete einen Beweis zu Weil Klassen und zwei darauf aufbauende Argumente.
- Der aktualisierte Katalog umfasst 719 Manuskripte in 372 thematisch verbundenen Gruppen.
KI-Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
OpenAI zog am 7. Oktober drei Mathematik-Manuskripte zurück – weniger als einen Tag, nachdem das Unternehmen 722 von einem internen KI-Modell erzeugte Manuskripte auf GitHub veröffentlicht hatte. In einem Beweis stand ein Vorzeichen falsch. Dadurch verlor das zentrale Argument einer Arbeit seine Grundlage; zwei weitere Arbeiten, die darauf aufbauten, waren ebenfalls betroffen. Der Fall zeigt: Ein mathematisches Manuskript zu veröffentlichen ist nicht dasselbe, wie seine Aussagen unabhängig zu überprüfen. 24
35
Eine Sammlung, aber nicht 722 unabhängige Ergebnisse
Am 6. Oktober stellte OpenAI Manuskripte aus einem internen Modell online, das nicht öffentlich verfügbar ist. Die Sammlung war in 372 Gruppen verwandter Arbeiten gegliedert. Eine solche Gruppe kann ein Hauptergebnis, ergänzende Argumente, Folgerungen oder alternative Beweise enthalten. Inhaltlich reichten die Manuskripte unter anderem von Algebra und Geometrie bis zur Informatik. 1
35
38
Diese Gruppierung ist wichtig: Die 722 Manuskripte waren nicht 722 voneinander unabhängige Ergebnisse. Manche Arbeiten stützten sich auf Beweise oder Konstruktionen aus anderen Manuskripten derselben Gruppe. Genau diese Abhängigkeit spielte bei den späteren Rückzügen eine Rolle. 1
24
Wie ein Vorzeichen drei Arbeiten zu Fall brachte
Der Fehler steckte in Algebraicity of Weil classes on split abelian eightfolds. In einem zentralen Argument wurde einer geometrischen Operation das Vorzeichen +1 zugeordnet. Nach den Konventionen der Arbeit hätte es −1 sein müssen. Damit brach ein Auslöschungsargument zusammen, auf dem die Konstruktion der Arbeit beruhte. 21
24
27
Zwei weitere Manuskripte bauten auf dieser Arbeit auf: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces und The rational Hodge conjecture for products of K3 surfaces. Als das zugrunde liegende Argument nicht mehr hielt, fehlte auch den darauf aufbauenden Aussagen die entsprechende Grundlage. OpenAI zog deshalb alle drei Arbeiten zurück. Das bedeutet: Die Beweise dieser Manuskripte waren nicht tragfähig – nicht, dass die darin behandelten Vermutungen widerlegt wären. 21
24
35
Was sich im GitHub-Katalog änderte
Im Update vom 7. Oktober verzeichnete OpenAI die drei Rückzüge, Überarbeitungen an 14 weiteren Manuskripten und aktualisierte Quellenangaben in 13 Begleitpapieren. Der Katalog sank damit von 722 auf 719 Manuskripte; die Gliederung in 372 Gruppen blieb bestehen. 1
24
28
Im Repository und in den Veröffentlichungsunterlagen weist OpenAI darauf hin, dass die Ergebnisse unterschiedlich weit überprüft sind und Fehler enthalten können. Das Unternehmen erklärte außerdem, seine Vorgehensweise beim Teilen der Arbeiten habe sich an Beratungen mit der Advisory Group on Mathematics and Artificial Intelligence orientiert. Die Manuskripte sind daher als Material zur Prüfung zu verstehen – nicht als Sammlung bereits gesicherter Entdeckungen. 1
33
39
Was Lean überprüft – und was nicht
Zu einigen Ergebnissen veröffentlichte OpenAI auch Formalisierungen in Lean. Lean ist ein sogenannter Proof Assistant: eine Software, mit der sich formal aufgeschriebene mathematische Beweise maschinell überprüfen lassen. Die verfügbaren Berichte verwenden allerdings unterschiedliche Maßstäbe für den Umfang dieser Formalisierungen. Eine Zusammenfassung zählt rund 300 von 719 Hauptergebnissen als formalisiert; eine andere nennt 162 von 722 Manuskripten, deren Hauptergebnis in Lean formalisiert wurde. Da hier unterschiedliche Einheiten gezählt werden, bedeutet keine der Zahlen, dass sämtliche Aussagen der jeweiligen Arbeiten unabhängig bestätigt wären. 25
33
36
Die Beratungen mit der Advisory Group und die formalisierten Beweise liefern wichtige Anhaltspunkte, um die Veröffentlichung einzuordnen. Sie ersetzen aber nicht die Prüfung der schriftlichen Argumente und dessen, was ein Beweis tatsächlich abdeckt. Die Rückzüge machen zudem deutlich, warum auch die Verbindungen zwischen Arbeiten geprüft werden müssen: Ein Fehler in einem gemeinsam genutzten Argument kann mehrere Manuskripte betreffen. 24
33
39
Was sich aus den Rückzügen ableiten lässt
Die Rückzüge zeigen, dass ein konkretes Argument fehlerhaft war und zwei darauf aufbauende Arbeiten sich nicht auf dieses Argument stützen konnten. Sie belegen weder, dass die übrigen Manuskripte falsch sind, noch, dass ihre Aussagen stimmen. Jedes Ergebnis muss einzeln geprüft werden – einschließlich des Beweises, seiner Voraussetzungen und möglicher Abhängigkeiten von verwandten Arbeiten. 1
21
35
Studio Global AI
Setzen Sie Ihre Recherche fort
Diese Seite enthält eine quellengestützte Antwort, die Sie in Studio Global fortsetzen können.
Die Leute fragen auch
Wie lautet die kurze Antwort auf „Warum OpenAI drei KI-generierte Mathematikarbeiten zurückzog“?
Am 7. Oktober 2026 zog OpenAI drei Arbeiten aus seiner Sammlung von 722 KI generierten Manuskripten zurück: Ein falsches Vorzeichen entkräftete einen Beweis zu Weil Klassen und zwei darauf aufbauende Argumente.
Was sind die wichtigsten Punkte, die zuerst validiert werden müssen?
Am 7. Oktober 2026 zog OpenAI drei Arbeiten aus seiner Sammlung von 722 KI generierten Manuskripten zurück: Ein falsches Vorzeichen entkräftete einen Beweis zu Weil Klassen und zwei darauf aufbauende Argumente. Der aktualisierte Katalog umfasst 719 Manuskripte in 372 thematisch verbundenen Gruppen.