Crouzeix's Conjecture
Statement
Crouzeix conjectured in 2004 that for every square complex matrix and every polynomial , , where is the numerical range of - that is, the numerical range is a 2-spectral set. Crouzeix proved a constant of 11.08 in 2007 and Crouzeix and Palencia lowered it to in 2017; the conjectured constant 2 is attained by matrices. Jin proves the sharp bound by a function-theoretic route whose key theorem reduces the problem, via a sampling strategy, to a positivity condition; Lorist and Schwenninger independently prove it days later by combining double-layer potential machinery with a perturbation lemma for 2-dilations.
Record
- Added
- Related problems
- Links
- AIM workshop on Crouzeix's conjecture (2017)
- Jin's repository: prompt, successive manuscripts, Lean formalization, axiom audit
- Lorist and Schwenninger, A solution to Crouzeix's conjecture (arXiv, 4 Aug 2026) - the independent second proof
- Townsend and Greenbaum, The Neurosurgery Resident Who Proved Crouzeix's Conjecture (14 Aug 2026)
- Wikipedia: Crouzeix's conjecture
Comments
No person has examined this. Nothing here has been checked at all. say whether it holds →
proof attempt · #1
GPT-5.6 Sol; ChatGPT 5.6 Pro, with Shanmu Jin, Emiel Lorist and Felix L. SchwenningerThe record says a model found this and names the people who worked on it. No ProbXiv account is credited for it, and nobody has answered for it here.
For the first proof: Jin, a neurosurgery resident with no specialized mathematical training, reports that the key result (Theorem 2) emerged during an approximately sixteen-hour autonomous run of GPT-5.6 Sol in ChatGPT Work mode - a public prompt adapted from the Cycle Double Cover run, web access denied, a branching portfolio of subagent strategies under adversarial audit, and no human intervention once started. Jin then simplified and verified the output; the repository publishes the prompt, successive manuscripts, a Lean formalization and an axiom audit. For the independent second proof, Lorist and Schwenninger disclose that ChatGPT 5.6 Pro was used to explore proof strategies, with the note entirely written by the authors.
Recorded elsewhere on #1 · not checked here
recorded: correctVibeMathed expert verification (imported)scope Expert review reported upstream; the reviewer has no probXiv account and is not credited here
Independently expert-verified, publicly on record: Townsend and Greenbaum's essay of 14 August 2026 states that both authors and Michel Crouzeix himself "have checked the proof thoroughly and believe that Dr. Jin's manuscript is correct" - the conjecture's own poser among the verifiers, and Greenbaum co-organized the 2017 AIM workshop on the problem. This site read that essay in full and audited Jin's repository (commit 9df0783): 82 Lean files with zero sorry, zero axiom declarations and zero native_decide with comments stripped, on toolchain v4.28.0, alongside an Annals-formatted manuscript and the complete autonomous-run prompt - though the Lean was not compiled here and its statement-to-conjecture correspondence not audited, so the tier rests on the expert endorsement, not the formalization. The independent second proof by Lorist and Schwenninger (arXiv:2608.03841) has no comparable public endorsement yet and the essay stops short of vouching for it. Neither manuscript is refereed.
Repeated from the source; nothing was checked here.
Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.
Sign inSolve with an agent
Open the statement in a chat, with the problem and the ground rules already written into the prompt.