{"schema":"postcutoff/event@1","as_of":"2026-10-30T13:42:00+01:00","url":"https://postcutoff.com/e/2026-10-06-openai-abelian-zilber-pink-claim/","md":"https://postcutoff.com/e/2026-10-06-openai-abelian-zilber-pink-claim/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-06-openai-abelian-zilber-pink-claim","date":"2026-10-06","date_precision":"day","short_title":"OpenAI claims abelian Zilber–Pink","deck":null,"takeaway":"Family 016 of OpenAI's 6 Oct 2026 release claims the abelian case of the Zilber–Pink conjecture on unlikely intersections: every subvariety of an abelian variety over a number field has only finitely many maximal atypical subvarieties. By a 2022 theorem of Barroero and Dill this would give Zilber–Pink for abelian varieties over any field of characteristic zero. Three more papers claim the curve case in the Siegel threefold A2. Nothing is formalized; the first specialist papers cite it as an 'announced' AI-generated proof, and one group says the release pushed them to post their own related work a day later.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"OpenAI: The abelian Zilber–Pink conjecture (24 Sep)","url":"https://github.com/openai/math/blob/main/preprints/The-Abelian-Zilber-Pink-Conjecture-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":2,"title":"OpenAI: Elliptic squares and Zilber–Pink for curves in A2 (24 Sep)","url":"https://github.com/openai/math/blob/main/preprints/Elliptic-Squares-and-Zilber-Pink-for-Curves-in-A2-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":3,"title":"OpenAI: Quaternionic division points on curves in the Siegel threefold (24 Sep)","url":"https://github.com/openai/math/blob/main/preprints/Quaternionic-Division-Points-on-Curves-in-the-Siegel-Threefold-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":4,"title":"OpenAI: The E×CM component of Zilber–Pink for curves in A2 (24 Sep)","url":"https://github.com/openai/math/blob/main/preprints/The-E-times-CM-Component-of-Zilber-Pink-for-Curves-in-A2-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":5,"title":"arXiv 2610.10212: Barroero, Dill, Kühne, Intersecting a curve in an abelian variety with multiples of another curve","url":"https://arxiv.org/abs/2610.10212","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"arXiv 2610.17325: Dogra, Saha, Arithmetic jet spaces and the unramified Zilber–Pink conjecture","url":"https://arxiv.org/abs/2610.17325","type":"paper","group":"primary","domain":"arxiv.org"},{"n":7,"title":"oai-math-revised: community notes on the abelian Zilber–Pink manuscript","url":"https://github.com/mathcommunity/oai-math-revised/blob/main/preprints/The-Abelian-Zilber-Pink-Conjecture-September-24-2026/AGENT_NOTES.md","type":"discussion","group":"reactions","domain":"github.com"}],"official":6,"filed":"2026-10-29","updated":"2026-10-29","orgs":["OpenAI"],"title":"OpenAI's release claims the Zilber–Pink conjecture for abelian varieties, and the curve case in the Siegel threefold; specialists cite it as announced but unchecked","summary":"\"The abelian Zilber–Pink conjecture\" (OpenAI, 24 Sep 2026, family 016 of the 6 Oct release) states: \"For every number field K, every abelian variety A/K, and every irreducible subvariety X ⊆ A_K̄, there are only finitely many maximal atypical subvarieties of X\" in its smallest special subvariety. Before, finiteness was known for curves (Habegger–Pila) and in partial ranges. Three companion papers claim Zilber–Pink for Hodge-generic curves in the Siegel threefold A2 by treating the E×CM, quaternionic and elliptic-square components separately. The papers are unrefereed and not formalized. Barroero, Dill and Kühne, and Dogra and Saha, cite the claim in their own work without assessing it.","key_facts":["Manuscripts (OpenAI, all dated 24 Sep 2026, no Lean scope note): 'The abelian Zilber–Pink conjecture' (44 pp.), 'The E×CM component of Zilber–Pink for curves in A2' (15 pp.), 'Quaternionic division points on curves in the Siegel threefold' (46 pp.) and 'Elliptic squares and Zilber–Pink for curves in A2' (65 pp.)","Theorem 1.1 (verbatim): 'For every number field K, every abelian variety A/K, and every irreducible subvariety X ⊆ A_K̄, there are only finitely many maximal atypical subvarieties of X in S = ⟨X⟩sp.' The paper adds: 'No bound on the degrees or heights of the intersection points is assumed, and no simplicity, endomorphism, or complex multiplication hypothesis is imposed on A … it gives no effective or uniform bound'","Prior work named in the paper: Habegger and Pila proved finiteness for curves in abelian varieties over number fields; Rémond, Viada, Barroero–Kühne–Schmidt and others proved partial results. The proof uses Barroero and Dill's optimal-subvariety reduction and Dill's generalized Vojta–Rémond inequality","Curve case in A2 (abstract of the elliptic-squares paper, verbatim): 'Combining this result with the companion E×CM and quaternionic-division finiteness theorems, we prove the curve case of Zilber–Pink in A2 over Q̄, without a boundary hypothesis.'","Barroero, Dill and Kühne (arXiv 2610.10212, 7 Oct, verbatim): 'Recently, OpenAI has released the preprint [Ope26] claiming a complete proof of Conjecture 1.1 for abelian varieties over Q̄. By [BD22], this would also imply the Zilber-Pink conjecture for abelian varieties over K. This release prompted us to publish a first version of this article the day after on arXiv.' Their own result settles the abelian analogue of Levin's question, a case predicted by Zilber–Pink, and was presented at an ICM satellite conference in August 2026","Netan Dogra and Arnab Saha (arXiv 2610.17325, 12 Oct, verbatim): 'Recently, an AI-generated proof of the Zilber–Pink conjecture for subvarieties of abelian varieties defined over Q̄ was announced [AI]. By Barroero–Dill this implies the general case of Zilber–Pink for subvarieties of abelian varieties.' Their paper bounds the degree of points in the Zilber–Pink locus with bounded ramification at a prime, by delta-geometry","No expert assessment of correctness found by 29 Oct (community notes: only an AI-generated explainer besides the two citing papers)"],"key_numbers":[],"tags":["math","number-theory","arithmetic-geometry","unlikely-intersections","zilber-pink","abelian-varieties","openai","openai-math-release","unverified","claim"],"science":{"field":"mathematics","subfield":"arithmetic geometry (unlikely intersections)","problem":"Zilber–Pink conjecture for abelian varieties (Zilber 2002, Pink 2005); curve case in the Siegel threefold A2","result":"Claimed: finiteness of maximal atypical subvarieties for every subvariety of an abelian variety over Q̄ (hence over any characteristic-zero field by Barroero–Dill); Zilber–Pink for Hodge-generic curves in A2","open_since":"2002","ai_system":["OpenAI internal model (openai/math release)"],"human_role":"Autonomous AI output released by OpenAI under its fixed procedure (README)","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed manuscripts; no Lean formalization; cited but not assessed by specialists"},"status":"pending","shock":"Zilber–Pink is one of the central conjectures of Diophantine geometry; the abelian case in arbitrary dimension had seemed far off, with only curves fully settled."},"body_md":"## What happened\n\n\"Unlikely intersections\" asks when a subvariety meets special subvarieties, such as torsion cosets in an abelian variety, more often\nthan dimension counting predicts. The Zilber–Pink conjecture, formulated by Boris Zilber and Richard Pink in the early 2000s, says that\nsuch atypical intersections are controlled by finitely many maximal ones. It contains the Manin–Mumford, Mordell–Lang and André–Oort\ntype statements as special cases. For abelian varieties, finiteness was known for curves (Habegger–Pila) and in several partial ranges.\n\nOpenAI's manuscript claims the whole abelian case over number fields, in every dimension, through a height-scale analysis built on\nBarroero and Dill's reduction and Dill's generalized Vojta–Rémond inequality. Three further manuscripts claim Zilber–Pink for curves in\nA2, the moduli space of principally polarized abelian surfaces, a Shimura-variety case beyond abelian varieties.\n\n## Why it matters\n\nIf correct, this would settle one of the central conjectures in Diophantine geometry for abelian varieties. Because the papers are\nlong, unformalized and so far unread in public by experts, the claim should be treated as unverified.\n\n## Reactions\n\nSpecialists have cited the claim but not assessed it. Fabrizio Barroero, Gabriel Dill and Lars Kühne say the release prompted them to\npost their own related paper a day later. Netan Dogra and Arnab Saha describe it as \"an AI-generated proof … announced\", and both\ngroups note that Barroero–Dill would turn it into the full abelian Zilber–Pink conjecture. No blog, talk or exposition reviewing the\nproof was found by 29 Oct.","disputed":[{"label":"Verification","text":"Unrefereed manuscripts; no Lean formalization; cited but not assessed by specialists","sources":[]}],"related":[{"id":"2026-10-14-ai-assisted-results-mid-october-2026","url":"https://postcutoff.com/e/2026-10-14-ai-assisted-results-mid-october-2026/","date":"2026-10-14","date_precision":"day","short_title":"Mid-October 2026: arXiv results with disclosed AI help","deck":null,"takeaway":"The 13 Oct arXiv listing alone brought a human write-up of GPT-6 Astra's rational exponents proof, Ulam's Lie group question answered with an Astra construction, a better-than-2 k-median algorithm, and about a dozen smaller results whose AI statements range from 'suggested by ChatGPT' to 'GPT 6 Pro was used … to obtain all other new results'.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":20,"official":19,"filed":"2026-10-14","updated":"2026-10-15","orgs":["OpenAI","Anthropic","various mathematicians"]},{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":79,"official":13,"filed":"2026-10-07","updated":"2026-10-29","orgs":["OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-29","type":"filed","text":"Created (families 001–125; manuscript introduction and the two citing arXiv papers read)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-29","run":null,"sources_read":"Families 001–125; manuscript introduction and the two citing arXiv papers read","updated":"2026-10-29","human_review":null,"version":{"date":"2026-10-29"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":159,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":98,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":189,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":128,"in_training_data":false}],"short_url":"https://postcutoff.com/s/openai-abelian-zilber-pink"}