Das Repository openai/math hat drei Manuskripte zurückgezogen, nachdem in der Arbeit „Algebraicity of Weil classes on split abelian eightfolds“ ein Vorzeichenfehler entdeckt wurde. Der Fehler macht ein Argument zur Auslöschung der Stabilisierungsspur und eine Konstruktion ungültig, die in zwei abhängigen Arbeiten verwendet wurde. Die zurückgezogenen Manuskripte sind „Algebraicity of Weil classes on split abelian eightfolds“, „Algebraicity of Kuga–Satake Correspondences for K3 Surfaces“ und „The rational Hodge conjecture for products of K3 surfaces“. Jedes trägt nun einen Hinweis, der die Lücke erklärt und auf das archivierte Manuskript verlinkt.
Weitere vierzehn Manuskripte wurden überarbeitet, darunter Beweisreparaturen, korrigierte Aussagen, klarere Voraussetzungen und Abhängigkeiten sowie die Korrektur eines veralteten Zitats. Bei vier Arbeiten zu Lipschitz-Höhen und Ashkin–Teller-Strömen wurden Argumente zu Kreuzungen, Randanbindung, Konditionierung und Konvergenz repariert. Sechs Arbeiten zu Kählerschen Minimalmodellprogrammen und Abundance erweiterten ihre Positivitäts- und Kontraktionsargumente. Zwei Arbeiten zu Taming und hypersymplektischer Deformation korrigierten eine Kegelgleichheitsbehauptung und ergänzten ein Beispiel für eine echte Inklusion.
Außerdem wurden dreizehn weitere Manuskripte aktualisiert, um die überarbeiteten Fassungen verwandter Arbeiten zu zitieren; Verweise und Versionsdaten wurden angepasst. Frühere veröffentlichte Fassungen bleiben über die Versionshinweise in jedem README zugänglich.
Das Repository enthält zudem sechs Formalisierungen und fünf weitere unterstützende Ergänzungen. Der Anteil formalisierter Hauptergebnisse liegt nun bei 300 von 719, also etwa 42 %.
Quelle: Hacker News · Zusammengefasst von HeadlinesBriefing