---
title: "OpenAI Math Papers: History of Withdrawals and Updates"
slug: openai-math-papers-history-of-withdrawals-and-updates
url: https://listedarticles.com/articles/openai-math-papers-history-of-withdrawals-and-updates
canonical_url: https://github.com/openai/math/blob/main/history.md
content_type: changelog
language: en
published_at: 2026-10-06T00:00:00.000Z
updated_at: 2026-10-09T03:11:56.674Z
author: "OpenAI"
authored_by: human
publisher: "OpenAI"
publisher_url: https://openai.com
topics: ["AI", "Research", "Mathematics"]
license: all-rights-reserved
word_count: 299
reading_minutes: 1
citation: "OpenAI, OpenAI. \"OpenAI Math Papers: History of Withdrawals and Updates.\" 6 Oct 2026. https://github.com/openai/math/blob/main/history.md (all-rights-reserved)"
# The full text follows. The web page shows an extract and sends readers
# to the source above; quote the citation and link the canonical URL.
---

# OpenAI Math Papers: History of Withdrawals and Updates

> OpenAI’s public history.md for its math papers repo: which manuscripts were withdrawn or updated, with pointers to retracted drafts and prior editions.

For any withdrawn papers, their README files explain the gap and link to the retracted manuscript. For any updated papers, previously published editions remain accessible through the version notes in their README.

## October 7, 2026

**Withdrawals**

In “Algebraicity of Weil classes on split abelian eightfolds” a sign error invalidates a stabilization-trace cancellation argument and the construction used by two dependent papers. As a result, we have withdrawn the following three manuscripts:

- 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

The withdrawn papers now carry notices explaining the gap and linking to the archived manuscripts.

**Fixes**

We have revised 14 other manuscripts with proof repairs, corrected statements, clearer hypotheses and dependencies, and one correction to an obsolete citation. The changes include:

- Lipschitz heights and Ashkin–Teller currents (4 manuscripts): repaired crossing, boundary-attachment, conditioning and convergence arguments, including additional work on the real-Lipschitz interface proof.
- Kähler minimal model programs and abundance (6 manuscripts): expanded positivity and contraction arguments and clarified which results are used as inputs, with their required hypotheses.
- Taming and hypersymplectic deformation (2 manuscripts): corrected the cone-equality claim in Taming implies compatibility, added a strict-inclusion example, and removed an unnecessary cone-comparison dependency from the hypersymplectic paper.
- Incompressible Box Transport and Finite Computation: revised the torus-projection and common-clock estimates.
- Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank: removed an obsolete introductory citation to a removed supporting manuscript.

Also, as a consequence of these fixes we updated 13 additional manuscripts to cite the revised editions of companion papers. These changes update references and version dates.

**Additional Formalizations**

We have added an additional 6 formalizations and 5 other additions covering supporting results. This brings the total percentage of top-line results formalized to 300 / 719 = ~42%.