Matrix Spencer conjecture proved
Authors credit GPT-5.6 Sol Pro with ‘the heavy-lifting’ for the key lemma
Awaiting review
Importance: major (4 of 5)The takeaway
Emrullah Akbas and Suvrit Sra posted a proof of the Matrix Spencer conjecture (arXiv 2608.28816, 28 Aug 2026).
Status
- Claim
Awaiting review
- Our reporting
- Medium confidence
- Verification
- Preprint only
- Importance
- Major (4 of 5)
- Last verified
- 30 September 2026
Your AI and this story
- GPT-6 Astra120 days after its cutoff
- Claude Opus 5.559 days after its cutoff
- Gemini 4 Hydrogen150 days after its cutoff
- Grok 4.789 days after its cutoff
None of these four assistants can know about it. The closest, Claude Opus 5.5, stops 59 days before it.
Key facts
- Result: for symmetric n×n matrices with ||A_i|| ≤ 1, an efficiently computable coloring x with ||Σ x_i A_i|| = O(√n), the matrix analogue of Spencer’s ‘six standard deviations’ theorem
- Technique: matrix small-ball estimates with a log-barrier determinantal weight, matrix-weighted Poincaré inequalities and dimension-free constants; the new hereditary small-ball estimate for Gaussian series is of independent interest
- AI statement: ‘This work made extensive use of GPT-5.6 Sol (Pro) over a period of months’; the route (log-barriers, Schur complements) was suggested to the model by Sra; ‘GPT found a full proof after some failed attempts … we attribute the heavy-lifting for that lemma and for almost all the calculations presented in this writeup to GPT’; GPT also wrote the first rough draft, which the authors polished and verified
- Sra also wrote ‘GPT, the Counterexample Machine’ (arXiv 2608.29595), a catalogue of 15+ counterexamples he found with GPT Pro over 12 months
- Status: preprint (47 pages), not peer-reviewed or formalised
What happened
After months of working with GPT-5.6 Sol Pro, Akbas and Sra obtained the hereditary small-ball lemma that completed their approach to Matrix Spencer. They credit the model with most of the technical work.
Why it matters
Matrix Spencer was one of the headline open problems in discrepancy theory. The paper is candid that the model did the “heavy-lifting”.
What is disputed or not yet verified
| Verification | Preprint; not peer-reviewed |
|---|
Sources
2 sources from 1 site. Numbers match the chips in the text.
2 sources: 2 primary
Primary
- arXiv 2608.28816: A Proof of the Matrix Spencer Conjecture (Akbas, Sra)arxiv.org, paper
- arXiv 2608.29595: GPT, the Counterexample Machine (Sra)arxiv.org, paper
Changes
- Filed