The Matrix Spencer Conjecture for C*-Algebra Contractions
A structured special case of the Matrix Spencer conjecture, reached through the representation theory of finite-dimensional C*-algebras: the conjectured discrepancy bound holds for every family of contractions contained in a suitable algebra.
- Result
- Proved(see note)
- Status
- Partial result
- AI contribution
- AI co-developed
- Method
- Argument
- Field
- Discrepancy theory
- Posed by
- Nikhil Bansal, Haotian Jiang, Raghu Meka
- Year posed
- 2022
- Years open
- 4y
- Solved
- 2026-06-14
- Model
- GPT-5.5 Pro
- Vendor
- OpenAI
- Collaborators
- Emrullah Akbas, Suvrit Sra
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 30 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
a structured special case, proved the same week as the independent group version
What the AI did
The statement on LLM use says the model was used extensively throughout the project as an interactive proof assistant, including for expanding on arguments.
Verification
arXiv preprint; not yet peer-reviewed.