code · pending
Artifact ↗Source authenticated
Crouzeix's Conjecture
Two independent proofs within eight days, both with AI in the loop. Jin's (posted 27 July, preprints.org, submitted to Annals) is the first: its decisive theorem came out of an autonomous GPT-5.6 Sol run, and it is the proof Townsend, Greenbaum and Crouzeix have checked. Lorist and Schwenninger's five-page argument (arXiv, 4 August) is a genuinely different route - double-layer potentials plus a perturbation lemma for 2-dilations - produced with ChatGPT 5.6 Pro exploring proof strategies. The entry's headline axes record Jin's proof; the earlier version of this entry recorded Lorist-Schwenninger's as primary while Jin's AI provenance was still unknown. The complete (matrix-coefficient) form, which contains this scalar theorem as the case m = 1, is claimed in the OpenAI math release (September 2026); see complete-crouzeix-conjecture.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: expert-verified. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Crouzeix's Conjecture
Confidence: Not scored
Registry verification: expert verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-5.6 Sol
model · ai model contributor · OpenAI
ChatGPT 5.6 Pro
model · ai model contributor · OpenAI
Shanmu Jin
human · human collaborator
Emiel Lorist
human · human collaborator
Felix L. Schwenninger
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Crouzeix's Conjecture →
Supersedes Crouzeix's Conjecture →
AIM workshop on Crouzeix's conjecture (2017) evidence for this event
Wikipedia: Crouzeix's conjecture evidence for this event
VibeMathed record: Crouzeix's Conjecture evidence for this event
Lorist-Schwenninger Remark 2 positivity question evidence for this event
This event attributed to Shanmu Jin
This event attributed to Felix L. Schwenninger
Crouzeix's Conjecture evidence for this event
Townsend and Greenbaum, The Neurosurgery Resident Who Proved Crouzeix's Conjecture (14 Aug 2026) evidence for this event
Stronger result in the OpenAI math release evidence for this event
Crouzeix's Conjecture parent of this event
This event attributed to GPT-5.6 Sol
This event attributed to ChatGPT 5.6 Pro
Jin's repository: prompt, successive manuscripts, Lean formalization, axiom audit evidence for this event
This event attributed to Emiel Lorist
Two independent proofs within eight days, both with AI in the loop. Jin's (posted 27 July, preprints.org, submitted to Annals) is the first: its decisive theorem came out of an autonomous GPT-5.6 Sol run, and it is the proof Townsend, Greenbaum and Crouzeix have checked. Lorist and Schwenninger's five-page argument (arXiv, 4 August) is a genuinely different route - double-layer potentials plus a perturbation lemma for 2-dilations - produced with ChatGPT 5.6 Pro exploring proof strategies. The entry's headline axes record Jin's proof; the earlier version of this entry recorded Lorist-Schwenninger's as primary while Jin's AI provenance was still unknown. The complete (matrix-coefficient) form, which contains this scalar theorem as the case m = 1, is claimed in the OpenAI math release (September 2026); see complete-crouzeix-conjecture. parent of this event
Act on this frontier