{"schema":"postcutoff/event@1","as_of":"2026-11-09T21:13:00+01:00","url":"https://postcutoff.com/e/2026-10-06-generalized-lax-conjecture-openai-counterexample-kummer-netzer-generic-case/","md":"https://postcutoff.com/e/2026-10-06-generalized-lax-conjecture-openai-counterexample-kummer-netzer-generic-case/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-generalized-lax-conjecture-openai-counterexample-kummer-netzer-generic-case","date":"2026-10-06","date_precision":"day","short_title":"Generalized Lax conjecture: OpenAI counterexample claim; AI-found generic case (Kummer–Netzer)","deck":null,"takeaway":"The generalized Lax conjecture says every hyperbolicity cone is spectrahedral, a slice of a positive semidefinite cone. On 21 Sept 2026 Mario Kummer and Tim Netzer posted 'a proof found by an artificial intelligence system' for the generic case, strictly hyperbolic polynomials (arXiv 2609.24542). Family 095 of OpenAI's 6 Oct maths release (manuscripts of 24 Sept and 5 Oct) claims the general conjecture is false. It gives hyperbolicity cones that are not even spectrahedral shadows, which also disproves the projected Lax conjecture, and the main statement is in Lean. Kevin Shu's exposition on the Quasicoherent blog accepts the counterexample. Neither result is refereed. We found both only on 31 Oct, through a citation.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2609.24542: The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials (Kummer, Netzer)","url":"https://arxiv.org/abs/2609.24542","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"OpenAI family 095: Hyperbolicity Cones Without Semidefinite Lifts (PDF)","url":"https://github.com/openai/math/blob/main/preprints/Hyperbolicity-Cones-Without-Semidefinite-Lifts-October-5-2026/nonliftable-hyperbolicity.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":3,"title":"OpenAI: A Nonspectrahedral Hyperbolicity Cone (PDF, 24 Sept)","url":"https://github.com/openai/math/blob/main/preprints/A-Nonspectrahedral-Hyperbolicity-Cone-September-24-2026/nonspectrahedral-hyperbolicity-cone.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":4,"title":"OpenAI Lean scope for family 095","url":"https://github.com/openai/math/blob/main/lean/docs/095.md","type":"code","group":"primary","domain":"github.com"},{"n":5,"title":"arXiv 2610.37850: Spectrahedral relaxations and tightenings of rigidly convex sets (Sawall, Schweighofer)","url":"https://arxiv.org/abs/2610.37850","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"Kevin Shu: A Digestion of A Counterexample to the Generalized Lax Conjecture","url":"https://www.quasicoherent.blog/posts/generalized_lax/","type":"discussion","group":"reactions","domain":"quasicoherent.blog"}],"official":5,"filed":"2026-10-31","updated":"2026-10-31","orgs":["OpenAI"],"title":"Generalized Lax conjecture: OpenAI's release claims a counterexample (a hyperbolicity cone that is not even a spectrahedral shadow), two weeks after Kummer and Netzer reported an AI-found proof of the strictly hyperbolic case","summary":"Two AI results on the generalized Lax conjecture (every hyperbolicity cone is spectrahedral). Kummer–Netzer (arXiv 2609.24542, 21 Sept 2026): the hyperbolicity cone of every strictly hyperbolic polynomial is spectrahedral, 'produced almost entirely by an artificial intelligence system' (system not named). OpenAI family 095 ('Hyperbolicity cones without semidefinite lifts', 5 Oct; 'A nonspectrahedral hyperbolicity cone', 24 Sept): hyperbolicity cones with no exact finite semidefinite lift, disproving both the generalized and the projected Lax conjectures; Lean for the main statement. A third manuscript, by its title, gives an exact semidefinite lift of a nonspectrahedral cone, so the shadow claim rests on the 5 Oct 'without semidefinite lifts' construction.","key_facts":["Kummer–Netzer abstract (verbatim): 'We report a proof found by an artificial intelligence system for the following statement: The hyperbolicity cone of every strictly hyperbolic polynomial is spectrahedral. This establishes the generalized Lax conjecture for the generic case, while the full conjecture remains open.'","Kummer–Netzer AI declaration (verbatim): 'The results in this paper were produced almost entirely by an artificial intelligence system. We posed the question and suggested possible approaches. We evaluated the output, clarified and simplified the arguments, checked them for correctness, and edited …' (the system is not named in the paper)","OpenAI family 095 summary (CONTENTS.md): 'Disproves the Projected Lax conjecture: some hyperbolicity cones are not spectrahedral shadows. The examples admit no exact finite affine semidefinite lift, regardless of the number of auxiliary variables or the real coefficients used. This also disproves the generalized Lax conjecture that every hyperbolicity cone is spectrahedral.' Three manuscripts: 'A Nonspectrahedral Hyperbolicity Cone' (24 Sept), 'An Exact Semidefinite Lift of a Nonspectrahedral Hyperbolicity Cone' (5 Oct) and 'Hyperbolicity Cones Without Semidefinite Lifts' (5 Oct); Lean docs at lean/docs/095.md","Expert exposition: Kevin Shu, 'A Digestion of A Counterexample to the Generalized Lax Conjecture' (Quasicoherent, 12 Oct): 'The conjecture was disproven in October of 2026 by an internal model from OpenAI, which provided an explicit counterexample to the stated characterization. In a sense, the conjecture being false is the more interesting possibility, as it suggests that there is more richness to the theory of hyperbolic polynomials than previously thought.'","Background: Helton and Vinnikov proved in 2007 that every real zero polynomial in two variables has a determinantal representation, so every rigidly convex set in the plane is a spectrahedron (Sawall–Schweighofer, §1); the generalized conjecture had also been proved 'for all hyperbolic cubics in five variables' (Kummer–Netzer, §1)","Follow-up: Sawall and Schweighofer (arXiv 2610.37850, 27 Oct) cite both, 'Kummer and Netzer [KN] used artificial intelligence to generate a proof …' and OpenAI's '[Ope2] for a hyperbolicity cone that is not a linear projection of a spectrahedral cone', and build spectrahedral relaxations of rigidly convex sets","Why it was missed: the Kummer–Netzer abstract names no model, and family 095 was in the release audit without an entry; found on 31 Oct through the Sawall–Schweighofer citation","Verification status: Kummer–Netzer is an unrefereed preprint checked by its human authors; OpenAI 095 is an unrefereed manuscript with a Lean main statement, accepted by Kevin Shu's exposition; no refereed version"],"key_numbers":[],"tags":["math","real-algebraic-geometry","convex-optimization","semidefinite-programming","hyperbolic-polynomials","openai-math-release","lean","preprint"],"science":{"field":"mathematics","subfield":"real algebraic geometry / convex optimization","problem":"Generalized Lax conjecture (every hyperbolicity cone is spectrahedral) and the projected Lax conjecture (every hyperbolicity cone is a spectrahedral shadow)","result":"Claimed: true for strictly hyperbolic polynomials (Kummer–Netzer, AI-found); false in general, even for shadows (OpenAI family 095)","open_since":"","ai_system":["unnamed AI system (Kummer–Netzer)","OpenAI internal model"],"human_role":"Kummer–Netzer: AI produced the proof, humans posed the question, suggested approaches, checked and edited. OpenAI: autonomous model output, Lean statement","verification":{"key":"lean","label":"Lean-verified","text":"Unrefereed; OpenAI's main statement in Lean; an expert exposition accepts the counterexample"},"status":"pending","shock":""},"body_md":"## What happened\n\nA polynomial is hyperbolic if its restriction to every line through a fixed direction has only real roots. Its hyperbolicity cone is a\nconvex cone, and the cone of positive semidefinite matrices is the model case. The generalized Lax conjecture said every hyperbolicity\ncone is a linear slice of a positive semidefinite cone. That would make every such cone usable in semidefinite programming.\n\nOn 21 Sept Mario Kummer and Tim Netzer reported a proof, \"produced almost entirely by an artificial intelligence system\", of the\ngeneric case. On 6 Oct OpenAI's maths release included family 095. It claims hyperbolicity cones that are not even projections of\nspectrahedra, which would disprove both the generalized and the projected conjecture. Kevin Shu's 12 Oct exposition works through the\ncounterexample and treats it as correct.\n\n## Why it matters\n\nThis was a central conjecture linking real algebraic geometry and convex optimisation. AI produced the generic-case proof and the\ncounterexample within a fortnight of each other. Neither is refereed yet.","disputed":[{"label":"Verification","text":"Unrefereed; OpenAI's main statement in Lean; an expert exposition accepts the counterexample","sources":[]}],"related":[{"id":"2026-10-31-ai-assisted-results-october-31-listing","url":"https://postcutoff.com/e/2026-10-31-ai-assisted-results-october-31-listing/","date":"2026-10-31","date_precision":"day","short_title":"AI-assisted results, 31 Oct: arXiv of 30 Oct and Hexagon of 29–31 Oct","deck":null,"takeaway":"The 31 Oct sweep listed 344 arXiv papers that mention AI, 75 conjecture papers with no AI statement and 48 uncited Hexagon works. We skimmed every AI statement and read about 70 PDFs or Hexagon records. Seven results got their own entries. Two come from senior authors: Panchenko's Mézard–Parisi formula ('found by ChatGPT Astra') and Bhargava's positive-density cyclicity of elliptic curves, written with GPT-6. The other five are Tianchi Yang's count of C₄-free graphs, Kolpakov's sharp dimension bounds for right-angled hyperbolic polytopes, the generalized Lax conjecture (Kummer–Netzer's AI-found generic case and OpenAI's counterexample), Diening–Storn's AFEM optimality for every bulk parameter, and an unverified GPT-6 Astra claim on Onsager's hard rods. The rest are listed here, among them Pongrácz's R(5,6) ≤ 84 certificate with GPT-6 Astra and Bowler–Pitz's negative answers to Halin-type questions, where Claude found key lemmas.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":44,"official":42,"filed":"2026-10-31","updated":"2026-10-31","orgs":["OpenAI","Anthropic","Google","various researchers"]},{"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-31","type":"filed","text":"Created (science agent; found through the citation in arXiv 2610.37850; Kummer–Netzer PDF, OpenAI family 095 record and Kevin Shu's blog read)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-31","run":null,"sources_read":"Science agent; found through the citation in arXiv 2610.37850; Kummer–Netzer PDF, OpenAI family 095 record and Kevin Shu's blog read","updated":"2026-10-31","human_review":null,"version":{"date":"2026-10-31"}},"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/generalized-lax-conjecture"}