---
id: "2026-08-28-matrix-spencer-conjecture-proved"
url: "https://postcutoff.com/e/2026-08-28-matrix-spencer-conjecture-proved/"
as_of: "2026-11-13T13:49:00+01:00"
date: "2026-08-28"
date_precision: day
category: science
importance: 4
confidence: medium
status: [Awaiting review]
verification: Preprint only
sources: 2
editor: human editor
human_review: null
version: "2026-10-04"
---

As of: 2026-11-13 13:49 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/e/2026-08-28-matrix-spencer-conjecture-proved/

# Matrix Spencer conjecture proved

Full title: Matrix Spencer conjecture proved; authors credit GPT-5.6 Sol Pro with 'the heavy-lifting' for the key lemma

Emrullah Akbas and Suvrit Sra posted a proof of the Matrix Spencer conjecture (arXiv 2608.28816, 28 Aug 2026). For symmetric n×n matrices A_1..A_n with operator norm at most 1, one can efficiently find signs x in {±1}^n with ||Σ x_i A_i|| = O(√n). They credit GPT-5.6 Sol (Pro) with finding the full proof of the key hereditary small-ball lemma, after a human suggestion on the route, and with 'almost all the calculations'.

## 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

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 120 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): 59 days after its cutoff
- Gemini 4 Hydrogen (training cutoff March 2026): 150 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 89 days after its cutoff

## Sources

1. [arXiv 2608.28816: A Proof of the Matrix Spencer Conjecture (Akbas, Sra)](https://arxiv.org/abs/2608.28816) (arxiv.org, paper)
2. [arXiv 2608.29595: GPT, the Counterexample Machine (Sra)](https://arxiv.org/abs/2608.29595) (arxiv.org, paper)

## Changes

- 2026-09-30 (filed): Created

## Related

- 2026-09-30: [Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help](https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/index.md)
- 2026-07-09: [OpenAI broadly releases GPT-5.6 after government-gated preview](https://postcutoff.com/e/2026-07-09-gpt-5-6-sol-terra-luna/index.md)
- 2026-05-12: [GPT-5.5 Pro finds counterexample disproving McKean's 1966 conjecture and the Gaussian completely monotone conjecture](https://postcutoff.com/e/2026-05-12-gaussian-completely-monotone-disproved/index.md)