{"schema":"postcutoff/event@1","as_of":"2026-10-14T07:26:00+02:00","url":"https://postcutoff.com/e/2026-10-12-chow-polynomials-matroids-not-log-concave/","md":"https://postcutoff.com/e/2026-10-12-chow-polynomials-matroids-not-log-concave/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-12-chow-polynomials-matroids-not-log-concave","date":"2026-10-12","date_precision":"day","short_title":"Chow polynomials of matroids are not log-concave","deck":"Counterexamples found in an LLM search (Claude Opus 5.5, ChatGPT Astra) refute three real-rootedness conjectures","takeaway":"Matroid theorists ran a targeted LLM search after a workshop; within hours Claude Opus 5.5 found explicit families of matroids that break log-concavity of Chow and chain polynomials, disproving conjectures of Ferroni–Schröter, Huh–Stevens and Athanasiadis–Kalampogia-Evangelinou.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":[{"n":1,"title":"arXiv 2610.17135: Chow polynomials and chain polynomials of matroids are not log-concave","url":"https://arxiv.org/abs/2610.17135","type":"paper","group":"primary","domain":"arxiv.org"}],"official":1,"filed":"2026-10-14","updated":"2026-10-14","orgs":["Anthropic","OpenAI"],"title":"Chow polynomials of matroids are not log-concave: counterexamples found in an LLM search (Claude Opus 5.5, ChatGPT Astra) refute three real-rootedness conjectures","summary":"arXiv 2610.17135 (12 Oct 2026) by Gergely Bérczi, Basile Coron, Christopher Eur and Shiyue Li constructs explicit infinite families of matroids from finite geometries whose multichain counts fail to be log-concave. This breaks log-concavity of Chow, augmented Chow, chain and h-polynomials and disproves the real-rootedness conjectures of Ferroni–Schröter, Huh–Stevens and Athanasiadis–Kalampogia-Evangelinou from the lowest possible ranks. The authors say \"LLMs were substantially used in the searches\": Eur found a non-constructive disproof with ChatGPT Astra on 23 Sep, and on 4 Oct a launched LLM search found the explicit families with Claude Opus 5.5 within 5–12 hours.","key_facts":["Paper: 'Chow polynomials and chain polynomials of matroids are not log-concave', Bérczi, Coron, Eur, Li, arXiv 2610.17135 [math.CO], v1, 12 Oct 2026","Disproves: real-rootedness conjectures of Ferroni–Schröter (Chow polynomials), Huh–Stevens and Athanasiadis–Kalampogia-Evangelinou; the failures start 'from the lowest possible ranks'","Construction: 'hyperplane coalescence' plus classical operations of projective geometry and combinatorial designs","AI timeline (paper): 23 Sep, Eur 'found a non-constructive disproof of the real-rootedness conjecture for Chow polynomials using ChatGPT Astra'; 30 Sep, Coron found with ChatGPT Astra a counterexample to log-concavity of h-polynomials of graph associahedra 'of very high vertex count'; 4 Oct, Bérczi, Coron and Li 'orchestrated and launched an LLM-search'; 'About 5 hours and 12 hours later, SL found using Claude Opus 5.5 three explicit families of matroids as counterexamples'; Bérczi then found another family with ChatGPT Astra","AI use (general): 'LLMs were substantially used in the searches of these counterexamples … The mathematical content was digested and reshaped from the LLM search reports, checked, and written by the authors'; a detailed AI-methodology analysis is promised for an update","Origin: the BIRS-Oaxaca workshop 'Algebra and Geometry of Matroids' (27 Sep – 2 Oct 2026), where Eur told Li about the LLM-generated disproof"],"key_numbers":[],"tags":["math","combinatorics","matroids","log-concavity","counterexample","claude-opus-5-5","gpt-6-astra"],"science":{"field":"mathematics","subfield":"algebraic combinatorics (matroids)","problem":"Real-rootedness/log-concavity of Chow and chain polynomials of matroids (Ferroni–Schröter, Huh–Stevens, Athanasiadis–Kalampogia-Evangelinou conjectures)","result":"Explicit infinite families of matroids whose Chow, augmented Chow, chain and h-polynomials are not log-concave; the real-rootedness conjectures are false.","open_since":"","ai_system":["Claude Opus 5.5","ChatGPT Astra (GPT-6 Astra)"],"human_role":"AI-assisted search: humans posed the targets and orchestrated LLM searches; models found the counterexample families; humans digested, checked and wrote","verification":{"key":"preprint","label":"Preprint only","text":"Explicit counterexamples (checkable); unrefereed preprint"},"status":"confirmed","shock":""},"body_md":"## What happened\n\nOn 12 Oct 2026 Gergely Bérczi, Basile Coron, Christopher Eur and Shiyue Li posted [arXiv 2610.17135](https://arxiv.org/abs/2610.17135). Chow polynomials (Hilbert–Poincaré series of the Chow rings of matroids) and chain polynomials had been conjectured to have only real zeros, which would imply log-concavity. The paper gives explicit infinite families of matroids, built from finite geometries by \"hyperplane coalescence\", for which even log-concavity fails.\n\nThe AI disclosure gives a dated account. Eur found a non-constructive disproof of real-rootedness with ChatGPT Astra on 23 Sep and mentioned it at a BIRS-Oaxaca matroid workshop. On 30 Sep Coron found a (very large) counterexample for graph associahedra with ChatGPT Astra. On 4 Oct three of the authors launched a targeted LLM search; about 5 and 12 hours later Li \"found using Claude Opus 5.5 three explicit families of matroids as counterexamples … of lowest ranks possible\". The authors \"digested and reshaped\" the search reports into the paper.\n\nBecause the counterexamples are explicit, they can be checked by computation; the paper is still unrefereed. No outside reactions were found on 14 Oct (web search; X not searched directly).\n\n## Why it matters\n\nLog-concavity of matroid invariants is the area of June Huh's Fields-Medal work, and real-rootedness conjectures there were widely studied. This is a clear example of a now-common pattern: humans state the target, LLM searches produce explicit counterexamples within hours, and the paper is the human digest.","disputed":[],"related":[{"id":"2026-10-13-ai-assisted-results-october-2026","url":"https://postcutoff.com/e/2026-10-13-ai-assisted-results-october-2026/","date":"2026-10-13","date_precision":"day","short_title":"October 2026: the arXiv stream of conjectures settled with disclosed AI help continues","deck":null,"takeaway":"In the first nine days of October 2026 the stream did not slow down: each arXiv listing brought several named conjectures with a disclosed AI role, and two new patterns appeared.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":16,"official":16,"filed":"2026-10-13","updated":"2026-10-14","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-14","type":"filed","text":"Created from the arXiv paper"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-14","run":null,"sources_read":"The arXiv paper","updated":"2026-10-14","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":165,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":104,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":195,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":134,"in_training_data":false}],"short_url":null}