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.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Jul 27, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: expert-verified. Publication: preprint. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.
Canonical aliases: Crouzeix's Conjecture
Confidence: Not scored
Registry verification: expert verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Shanmu Jin
human · human collaborator
Emiel Lorist
human · human collaborator
Felix L. Schwenninger
human · human collaborator
GPT-5.6 Sol
model · ai model contributor · OpenAI
ChatGPT 5.6 Pro
model · ai model contributor · OpenAI
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Emiel Lorist
This event attributed to Shanmu Jin
This event attributed to Felix L. Schwenninger
This event attributed to ChatGPT 5.6 Pro
This event attributed to GPT-5.6 Sol
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
Crouzeix's Conjecture parent of this event
Jin's repository: prompt, successive manuscripts, Lean formalization, axiom audit evidence for this event
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. parent of this event
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
Act on this frontier