A Beijing neurosurgeon proved Crouzeix's conjecture with a 16-hour autonomous GPT-5.6 Sol run, and Crouzeix confirmed it.

Jin Shanmu, a postdoctoral researcher at Peking Union Medical College Hospital, closed a problem open in numerical linear algebra since 2004, with the model finding a sampling strategy that reduced it 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 correct. It has not yet had formal peer review. SCMP This is the cleanest documented case of a long-horizon autonomous run closing a named conjecture rather than assisting a human through it.