The openai/math repository has withdrawn three manuscripts after a sign error was found in the paper "Algebraicity of Weil classes on split abelian eightfolds." The error invalidates a stabilization-trace cancellation argument and a construction used by two dependent papers. The withdrawn manuscripts are "Algebraicity of Weil classes on split abelian eightfolds," "Algebraicity of Kuga–Satake Correspondences for K3 Surfaces," and "The rational Hodge conjecture for products of K3 surfaces." Each now carries a notice explaining the gap and linking to the archived manuscript.
Fourteen other manuscripts received revisions, including proof repairs, corrected statements, clearer hypotheses and dependencies, and one correction to an obsolete citation. Four papers on Lipschitz heights and Ashkin–Teller currents had crossing, boundary-attachment, conditioning and convergence arguments repaired. Six papers on Kähler minimal model programs and abundance expanded their positivity and contraction arguments. Two papers on taming and hypersymplectic deformation fixed a cone-equality claim and added a strict-inclusion example.
An additional 13 manuscripts were updated to cite the revised editions of companion papers, changing references and version dates. Previously published editions remain accessible through version notes in each README.
The repository also added six formalizations and five other supporting additions. The total share of top-line results formalized now stands at 300 of 719, or about 42%.
Source: Hacker News · Summarized by HeadlinesBriefing