{"schema":"postcutoff/event@1","as_of":"2026-10-09T19:24:00+02:00","url":"https://postcutoff.com/e/2026-10-08-hyperkahler-syz-conjecture-engel-mauri/","md":"https://postcutoff.com/e/2026-10-08-hyperkahler-syz-conjecture-engel-mauri/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-08-hyperkahler-syz-conjecture-engel-mauri","date":"2026-10-08","date_precision":"day","short_title":"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","deck":null,"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'.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":[{"n":1,"title":"Engel & Mauri: Hyperkähler SYZ conjecture (arXiv 2610.12277)","url":"https://arxiv.org/abs/2610.12277","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"OpenAI math catalogue (CONTENTS.md, family 041)","url":"https://github.com/openai/math/blob/main/CONTENTS.md","type":"paper","group":"primary","domain":"github.com"},{"n":3,"title":"Huybrechts & Mauri: Lagrangian fibrations (Milan J. Math. 2022; arXiv 2108.10193)","url":"https://arxiv.org/abs/2108.10193","type":"paper","group":"primary","domain":"arxiv.org"}],"official":3,"filed":"2026-10-09","updated":"2026-10-09","orgs":["University of Illinois Chicago","Université Paris Cité","OpenAI"],"title":"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","summary":"On 8 Oct 2026 Philip Engel (UIC) and Mirko Mauri (Université Paris Cité) posted arXiv 2610.12277, \"Hyperkähler SYZ conjecture\": for a compact irreducible hyperkähler manifold X, every nef line bundle L is semiample, so a nontrivial nef isotropic line bundle defines a Lagrangian fibration. A corollary: compact hyperkähler manifolds of fixed dimension with b2 ≥ 5 fall into finitely many deformation classes. The key new input is the metric SYZ conjecture (Li; Blum–Liu). Their AI disclosure says a \"largely complete proof was human written\" as a rough draft and that after OpenAI's 6 Oct release they used ChatGPT Astra only to proofread; \"The structure of the proofs appears similar, but we have not yet had time to examine the OpenAI proof carefully.\" OpenAI's family 041 (\"The strong hyperkähler SYZ conjecture\", dated 23 Sep) claims the same theorem without a Lean formalization.","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"],"key_numbers":[],"tags":["math","algebraic-geometry","hyperkahler","syz-conjecture","priority","openai","human-led"],"science":{"field":"mathematics","subfield":"algebraic geometry (hyperkähler manifolds)","problem":"Hyperkähler SYZ conjecture / abundance for nef line bundles on compact hyperkähler manifolds","result":"Proved (preprint): every nef line bundle on a compact irreducible hyperkähler manifold is semiample; finitely many deformation classes in each dimension for b2 ≥ 5.","open_since":"","ai_system":["ChatGPT Astra (proofreading only)"],"human_role":"Human-led; the proof was written by the authors, AI used only to proofread after OpenAI's release","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed preprint; an independent OpenAI manuscript (family 041) claims the same theorem"},"status":"pending","shock":"A central conjecture of hyperkähler geometry was settled twice in two weeks, once by an AI catalogue and once by the experts who had laid out the strategy.","short":"Hyperkähler SYZ conjecture"},"body_md":"## What happened\n\nThe hyperkähler SYZ conjecture predicts that a nontrivial nef line bundle of square zero on a compact hyperkähler manifold\ncomes from a Lagrangian fibration. Philip Engel and Mirko Mauri post a short proof. Mauri, with Huybrechts, had earlier\noutlined the strategy, and the missing piece was the metric SYZ conjecture, proved in 2026 by Yang Li and by Blum and Liu.\nA consequence is a finiteness theorem for deformation classes of hyperkähler manifolds with b2 ≥ 5.\n\nThe paper is a priority marker in the race set off by OpenAI's catalogue. Its AI section says the human proof existed as a\nrough draft before 6 October and that ChatGPT Astra was used only to proofread it afterwards. It is one of several\nhuman-led papers posted within days of the catalogue on problems it claims (others: LeBrun–Salamon, exact overlaps,\nErdős–Gallai, the Hellinger conjecture, 4-to-1 games).\n\n## Why it matters\n\nIf correct, it settles one of the main structural conjectures about hyperkähler manifolds, and it gives experts a short\nhuman proof to compare with OpenAI's machine-written one.","disputed":[{"label":"Verification","text":"Unrefereed preprint; an independent OpenAI manuscript (family 041) claims the same theorem","sources":[]}],"related":[{"id":"2026-10-07-lebrun-salamon-conjecture-proof","url":"https://postcutoff.com/e/2026-10-07-lebrun-salamon-conjecture-proof/","date":"2026-10-07","date_precision":"day","short_title":"Two claimed proofs of the LeBrun–Salamon conjecture","deck":"Hu, Liu & Wan (arXiv, ChatGPT as 'auxiliary tool') and OpenAI's catalogue (family 062)","takeaway":"The 1994 conjecture that every positive quaternion-Kähler manifold is a symmetric Wolf space now has two independent claimed proofs, one by human geometers who used ChatGPT and one in OpenAI's AI-generated catalogue. Neither has been refereed.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":4,"filed":"2026-10-08","updated":"2026-10-08","orgs":["Chongqing University of Technology","OpenAI"]},{"id":"2026-10-07-exact-overlaps-conjecture-gpt-6-astra","url":"https://postcutoff.com/e/2026-10-07-exact-overlaps-conjecture-gpt-6-astra/","date":"2026-10-07","date_precision":"day","short_title":"Exact overlaps conjecture for self-similar measures on the line proved","deck":"GPT-6 Astra found the first proof (Kittle & Kogler), 47,000-line Lean formalization; OpenAI's catalogue claims it independently","takeaway":"A central conjecture of fractal geometry, open in general since Hochman's 2014 breakthrough, now has a proof whose key part came from a GPT-6 Astra session. The authors rewrote and formalized it in Lean, and OpenAI's own release claims the same theorem.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":5,"official":5,"filed":"2026-10-08","updated":"2026-10-08","orgs":["University College London","Institute for Advanced Study","OpenAI"]},{"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":58,"official":12,"filed":"2026-10-07","updated":"2026-10-09","orgs":["OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-09","type":"filed","text":"Created from the arXiv PDF"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-09","run":null,"sources_read":"The arXiv PDF","updated":"2026-10-09","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":161,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":100,"in_training_data":false},{"model_id":"gemini-3-8-flash","name":"Gemini 3.8 Flash","cutoff":"2026-03","days_after":191,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":130,"in_training_data":false}],"short_url":"https://postcutoff.com/s/engel-mauri-post-7-page"}