Engel & Mauri post a 7-page proof of the hyperkähler SYZ conjecture, two days after OpenAI’s catalogue claimed it; AI used only to proofread
Event confirmedAwaiting review
Importance: major (4 of 5)The takeaway
The hyperkähler SYZ conjecture (every nef line bundle on a compact hyperkähler manifold is semiample) has a human-written proof by Philip Engel and Mirko Mauri, which also gives finitely many deformation classes in each dimension when b2 ≥ 5. OpenAI’s catalogue claimed the same theorem on 6 Oct; the authors say the proof structures ‘appear similar’.
Status
- Claim
Event confirmedAwaiting review
- Our reporting
- High confidence
- Verification
- Preprint only
- Importance
- Major (4 of 5)
- Last verified
- 9 October 2026
Your AI and this story
- GPT-6 Astra161 days after its cutoff
- Claude Opus 5.5100 days after its cutoff
- Gemini 3.8 Flash191 days after its cutoff
- Grok 4.7130 days after its cutoff
None of these four assistants can know about it. The closest, Claude Opus 5.5, stops 100 days before it.
Key facts
- Theorem 1.1 (generalized abundance for compact hyperkähler manifolds): every nef line bundle L on a compact irreducible hyperkähler manifold is semiample; the case q(L) > 0 was known, so the content is the isotropic case q(L) = 0, which is the hyperkähler SYZ conjecture
- Corollary 1.2: the number of deformation classes of compact hyperkähler manifolds of fixed dimension with b2 ≥ 5 is finite (combining with earlier work, [5, Thm. B])
- Method: the strategy ‘appears essentially in’ Huybrechts–Mauri (2022); the new ingredient is the metric SYZ conjecture (Y. Li, arXiv 2605.00516; Blum–Liu), whose special Lagrangian tori become holomorphic after a hyperkähler rotation; 7 pages
- AI disclosure (verbatim): ‘A largely complete proof was human written and in the form of a rough draft. After the October 6, 2026 posting of manuscripts by OpenAI, the authors used ChatGPT Astra to proofread the existing draft. The structure of the proofs appears similar, but we have not yet had time to examine the OpenAI proof carefully.’
- OpenAI family 041 ‘Hyperkähler SYZ and projective-space bases’ (manuscripts dated 23 Sep 2026) claims the strong hyperkähler SYZ conjecture and that the normal projective base of any projective Lagrangian fibration is projective space; no Lean scope note
- No expert reactions found on X, HN or blogs as of 9 Oct
What happened
The hyperkähler SYZ conjecture predicts that a nontrivial nef line bundle of square zero on a compact hyperkähler manifold comes from a Lagrangian fibration. Philip Engel and Mirko Mauri post a short proof. Mauri, with Huybrechts, had earlier outlined the strategy, and the missing piece was the metric SYZ conjecture, proved in 2026 by Yang Li and by Blum and Liu. A consequence is a finiteness theorem for deformation classes of hyperkähler manifolds with b2 ≥ 5.
The paper is a priority marker in the race set off by OpenAI’s catalogue. Its AI section says the human proof existed as a rough draft before 6 October and that ChatGPT Astra was used only to proofread it afterwards. It is one of several human-led papers posted within days of the catalogue on problems it claims (others: LeBrun–Salamon, exact overlaps, Erdős–Gallai, the Hellinger conjecture, 4-to-1 games).
Why it matters
If correct, it settles one of the main structural conjectures about hyperkähler manifolds, and it gives experts a short human proof to compare with OpenAI’s machine-written one.
What is disputed or not yet verified
| Verification | Unrefereed preprint; an independent OpenAI manuscript (family 041) claims the same theorem |
|---|
Sources
3 sources from 2 sites. Numbers match the chips in the text.
3 sources: 3 primary
Primary
- Engel & Mauri: Hyperkähler SYZ conjecture (arXiv 2610.12277)arxiv.org, paper
- OpenAI math catalogue (CONTENTS.md, family 041)github.com, paper
- Huybrechts & Mauri: Lagrangian fibrations (Milan J. Math. 2022; arXiv 2108.10193)arxiv.org, paper
Changes
- Filed from the arXiv PDF