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).
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.
