The Escobar-Klein-Weigandt Conjecture on Cohen-Macaulay ASM Varieties
Escobar, Klein and Weigandt proved that gradedness of an ASM weak order interval, constancy of Coxeter length across its fibres, and equidimensionality of the associated ASM varieties are mutually equivalent, and conjectured (Conjecture 3.21) that Cohen-Macaulayness of those varieties belongs on the same list. Proved, via a -Hecke monoid action on the MacNeille completion of Bruhat order and vertex-decomposability of certain unions of Knutson-Miller subword complexes.
- Result
- Proved
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Argument
- Field
- Algebraic combinatorics
- Posed by
- Laura Escobar, Patricia Klein, Anna Weigandt
- Year posed
- —
- Years open
- —
- Solved
- 2026-05-08
- Model
- ChatGPT 5.4 Pro
- Vendor
- OpenAI
- Collaborators
- Colin Defant
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 15 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
The paper is written as a case study in the workflow, and reports the interaction turn by turn. The author uploaded his own notes plus the Escobar-Klein-Weigandt paper, asked whether their ideas generalise to other Coxeter groups, then asked for a counterexample to Conjecture 3.21. After about 50 minutes the model reported it had found none and had verified the conjecture in small cases. Asked instead to prove it, it returned the main ingredients after roughly 19 minutes, and the author says the proof presented in Section 4 is essentially the one the model found, with the writing massaged and details added. He then re-ran the experiment in several fresh conversations to test what made it work, and reports that withholding his notes and asking directly for a proof usually failed, with the model recognising the statement as an open problem and declining.
Verification
arXiv preprint, not peer-reviewed. The author reworked the model's argument into the paper's Section 4 and takes responsibility for it, but no independent check is on record.
Source
arXiv:2605.08033 - Weak Order on the MacNeille Completion of Bruhat Order
Submitted by Curator34