OpenAI release claims the rational Hodge conjecture for all CM abelian varieties, which would give the Tate conjecture for abelian varieties over finite fields (no Lean proof)

2026-10-06★★★★★after cutoffscienceOpenAIconfidence: medium

Family 032 of OpenAI's 6 Oct 2026 math release claims the rational Hodge conjecture for every complex abelian variety with complex multiplication, in every dimension and codimension. Through Milne's theorems this would give the Tate conjecture for all abelian varieties over finite fields and the Hodge standard conjecture for abelian varieties in every characteristic. Companion manuscripts claim rational Hodge for arbitrary products of K3 surfaces and algebraicity of the Kuga–Satake correspondence. OpenAI lists this work as an exception to its fixed automated procedure. No Lean formalization is given, so it rests on unrefereed manuscripts.

Key facts

Reactions: algebraic geometer Kiwamu Watanabe called the algebraic-geometry claims 'quite amazing' but said he cannot tell whether they are correct; Jared Duker Lichtman stressed the release 'is not the Millenium problem rumor'
Main manuscript: 'The rational Hodge conjecture for CM abelian varieties' (dated 30 Sep 2026, 53 pages); abstract claims consequences 'the generalized Hodge conjecture for CM abelian varieties, the Tate conjecture for abelian varieties over finite fields, and the Hodge standard conjecture for abelian varieties in arbitrary characteristic'
Companions in the family: rational Hodge for every finite product of projective complex K3 surfaces (4 Oct); algebraicity of the Kuga–Satake correspondence for every K3 surface (3 Oct); Weil classes on split abelian eightfolds (18 Sep); Hodge on powers of abelian sixfolds of Weil type and abelian varieties of dimension ≤ 5 with imaginary-quadratic action; a conditional Kuga–Satake reduction (10 Sep)
Family 001 (Milne's rationality conjecture) uses this theorem
README: 'Exceptions to this fixed procedure include … proof of the Hodge Conjecture for CM abelian varieties' (how it was produced differently is not described)
Not a Millennium Prize resolution: the full Hodge conjecture for all smooth projective varieties remains open; CM abelian varieties are a special, much-studied case
No Lean scope note exists for family 032

Science result

Field: mathematics / algebraic geometry / Hodge theory
Problem: Hodge conjecture for CM abelian varieties; Tate conjecture for abelian varieties over finite fields
Result: Claimed: every rational Hodge class on a complex CM abelian variety is a ℚ-linear combination of algebraic cycle classes; consequences for Tate and the Hodge standard conjecture.
AI system: OpenAI internal model (unreleased)
Human role: Listed by OpenAI as an exception to its fixed automated procedure (details not given)
Verification: Unrefereed manuscript; no formal proof
Status: pending
Why surprising: Special cases of the Hodge conjecture for abelian varieties have resisted experts for decades; Tate for abelian varieties over finite fields would be a landmark.

What happened

OpenAI's catalogue lists "Hodge and Kuga–Satake results for all projective K3 surfaces" as family 032. Its central manuscript proves the rational Hodge conjecture for CM abelian varieties, and companions extend it to products of K3 surfaces and Weil-type abelian varieties. OpenAI's README names this work as one of two exceptions to the fixed procedure used for the rest of the release. It does not say whether that meant more compute, human guidance or a different model setup.

Why it matters

The Hodge conjecture is a Millennium Prize problem. This claim covers an important special case, not the whole conjecture, but its stated consequences, Tate for abelian varieties over finite fields and the Hodge standard conjecture for abelian varieties, are long-standing goals in arithmetic geometry. There is no formal proof, so the claim depends entirely on expert reading of a 53-page manuscript and its companions.

Changelog

2026-10-07: added first expert reactions
2026-10-07: created from the openai/math repository

Related events

Sources (4)

id: 2026-10-06-hodge-conjecture-cm-abelian-varieties-openai · updated 2026-10-07 · open in the interactive timeline