Rota's Unimodality Conjecture for Matroid Flats
Is the sequence counting the flats of each rank of a matroid always unimodal? Rota conjectured yes in 1970.
- Result
- Disproved
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Construction
- Field
- Matroid theory
- Posed by
- Gian-Carlo Rota
- Year posed
- 1970
- Years open
- 56y
- Solved
- 2026-07-24
- Model
- ChatGPT-5.6 Pro
- Vendor
- OpenAI
- Collaborators
- Alexander Divoux, Chayim Lowen, Shouda Wang
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 35 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
The counterexample construction - a -lift mechanism that turns failures of log-concavity for flat counts into failures of unimodality - was found with ChatGPT-5.6 Pro; the authors verified it and wrote the paper.
Verification
Public arXiv preprint with explicit counterexamples, checked by the human authors. Not yet peer-reviewed.