OpenAI Withdraws 3 Math Papers — SkimNews
Get the Tech newsletter
Daily tech — startups, AI labs, chips, the launches that shape the next decade. Free.
- Three mathematics papers were withdrawn after a sign error in "Algebraicity of Weil classes on split abelian eightfolds" invalidated a stabilization-trace cancellation argument used by two dependent papers.
- The withdrawn companion papers covered Kuga–Satake Correspondences for K3 Surfaces and the rational Hodge conjecture for products of K3 surfaces, both built on the flawed argument.
- Fourteen other manuscripts were revised with proof repairs, corrected statements, and clearer hypotheses, spanning Lipschitz heights and Ashkin–Teller currents (4), Kähler minimal models (6), taming and hypersymplectic deformation (2), torus-projection estimates, and a citation cleanup in a Birch–Swinnerton-Dyer paper.
- Thirteen additional manuscripts were updated to cite the revised editions of companion papers, shifting references and version dates across the broader body of work.
- Six new formalizations plus five other additions were posted, bringing total top-line formalizations to 300 of 719 results, or roughly 42%.
- Each withdrawn paper's README now explains the specific gap and links to the archived manuscript, making the retraction reasons transparent to readers.
Why it matters: A single sign error in one proof cascaded into three retractions and forced revisions across at least 27 additional manuscripts, exposing how tightly coupled results in arithmetic geometry share an invisible load-bearing argument. The transparent README-level documentation sets a notably high bar for how mathematical corrections can be communicated.
Ask SkimNews
