{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-08-28-matrix-spencer-conjecture-proved/","md":"https://postcutoff.com/e/2026-08-28-matrix-spencer-conjecture-proved/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-08-28-matrix-spencer-conjecture-proved","date":"2026-08-28","date_precision":"day","short_title":"Matrix Spencer conjecture proved","deck":"Authors credit GPT-5.6 Sol Pro with 'the heavy-lifting' for the key lemma","takeaway":"Emrullah Akbas and Suvrit Sra posted a proof of the Matrix Spencer conjecture (arXiv 2608.28816, 28 Aug 2026).","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2608.28816: A Proof of the Matrix Spencer Conjecture (Akbas, Sra)","url":"https://arxiv.org/abs/2608.28816","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"arXiv 2608.29595: GPT, the Counterexample Machine (Sra)","url":"https://arxiv.org/abs/2608.29595","type":"paper","group":"primary","domain":"arxiv.org"}],"official":2,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Emrullah Akbas","Suvrit Sra","OpenAI"],"title":"Matrix Spencer conjecture proved; authors credit GPT-5.6 Sol Pro with 'the heavy-lifting' for the key lemma","summary":"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"],"key_numbers":[],"tags":["math","discrepancy-theory","random-matrices","theoretical-cs","gpt-5-6"],"science":{"field":"mathematics","subfield":"discrepancy theory / random matrices","problem":"Matrix Spencer conjecture","result":"O(√n) discrepancy for n symmetric n×n matrices of norm at most 1, achievable efficiently.","open_since":"","ai_system":["GPT-5.6 Sol Pro"],"human_role":"AI-assisted: humans chose the strategy and verified and polished; the model produced the key lemma's proof and most calculations","verification":{"key":"preprint","label":"Preprint only","text":"Preprint; not peer-reviewed"},"status":"pending","shock":"A well-known open problem in matrix discrepancy was closed through months of dialogue with a chatbot."},"body_md":"## What happened\n\nAfter 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.\n\n## Why it matters\n\nMatrix Spencer was one of the headline open problems in discrepancy theory. The paper is candid that the model did the \"heavy-lifting\".","disputed":[{"label":"Verification","text":"Preprint; not peer-reviewed","sources":[]}],"related":[{"id":"2026-09-30-ai-assisted-conjecture-wave-summer-2026","url":"https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/","date":"2026-09-30","date_precision":"day","short_title":"Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help","deck":null,"takeaway":"This entry catalogues about 50 of them, with the AI role as the authors state it.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":11,"official":5,"filed":"2026-09-30","updated":"2026-10-19","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]},{"id":"2026-07-09-gpt-5-6-sol-terra-luna","url":"https://postcutoff.com/e/2026-07-09-gpt-5-6-sol-terra-luna/","date":"2026-07-09","date_precision":"day","short_title":"OpenAI broadly releases GPT-5.6 after government-gated preview","deck":null,"takeaway":"First frontier model whose public release was explicitly gated by US government review, and the model family involved in the July 2026 sandbox-escape incident.","category":"model-release","category_label":"Model releases","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":7,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2026-05-12-gaussian-completely-monotone-disproved","url":"https://postcutoff.com/e/2026-05-12-gaussian-completely-monotone-disproved/","date":"2026-05-12","date_precision":"day","short_title":"GPT-5.5 Pro finds counterexample disproving McKean's 1966 conjecture and the Gaussian completely monotone conjecture","deck":null,"takeaway":"It is part of 2026's striking pattern of AI counterexamples: models proved especially good at finding objects that break long-believed conjectures.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-10-19","orgs":["OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-09-30","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-30","run":null,"sources_read":null,"updated":"2026-09-30","human_review":null,"version":{"date":"2026-10-04"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":120,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":59,"in_training_data":false},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":150,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":89,"in_training_data":false}],"short_url":"https://postcutoff.com/s/matrix-spencer-conjecture-proved"}