Beijing Neurosurgeon Proves Crouzeix's Conjecture After a 16-Hour Autonomous GPT-5.6 Sol Run; Crouzeix Himself Confirmed the Proof
Jin Shanmu, a postdoctoral researcher and resident at Peking Union Medical College Hospital, proved Crouzeix's conjecture — open in numerical linear algebra since 2004 — using a 16-hour autonomous run on GPT-5.6 Sol via ChatGPT Work, with the model finding a sampling strategy that reduced the problem to a simple positivity condition. Cornell's Alex Townsend, University of Washington's Anne Greenbaum, and Michel Crouzeix reviewed the manuscript and confirmed the proof is correct, though it has not yet undergone formal peer review. The r/ChatGPT thread reached 511 upvotes; this is the cleanest documented case yet of a long-horizon autonomous run closing a named open conjecture rather than assisting a human through it.
Source
↳ Follow the thread