Shanmu Jin, a postdoctoral researcher and neurosurgery resident at Peking Union Medical College Hospital in Beijing, has proved Crouzeix’s Conjecture — a problem in matrix analysis that had remained open for over two decades. The decisive argument did not emerge from a mathematics department: it surfaced during a 16-hour autonomous run of GPT-5.6 Sol inside ChatGPT Work mode, guided by a carefully engineered prompt that Jin designed himself.
Jin reached the problem through a non-linear path. His undergraduate background was in geology; he later earned a medical degree and built his mathematical knowledge through self-directed study, initially motivated by research on transcranial ultrasound. Crouzeix’s Conjecture, formulated in 2004, concerns the relationship between a matrix’s spectral norm and the maximum of a polynomial over its numerical range — a compact convex region of the complex plane that captures more of a matrix’s behavior than its eigenvalues alone. Its resolution has direct applications in the analysis of matrix functions, iterative solvers such as GMRES, and rational Krylov methods.
Rather than prompting the model interactively, Jin ran an extended autonomous session using a prompt architecture adapted from one OpenAI had developed for an earlier mathematical result, the Cycle Double Cover conjecture. The setup denied the model internet access. It deployed competing subagents tasked with independently developing and stress-testing different proof strategies, with explicit instructions against premature convergence and a requirement to falsify candidate arguments only through concrete counterexamples. The model was directed to continue until a complete proof survived internal adversarial review. The resulting preprint, posted on July 27, 2026, includes the full prompt, successive draft manuscripts, a Lean formalization, and an axiom audit.
The proof has been reviewed and confirmed by Cornell mathematician Alex Townsend, numerical analyst Anne Greenbaum, and Michel Crouzeix himself — the conjecture’s original author. Formal peer review is ongoing. Eight days after the initial preprint appeared, mathematicians Emiel Lorist and Felix Schwenninger posted an independent five-page proof using a different method, combining classical double-layer potential theory with a perturbation lemma for 2-dilations. Jin welcomed the parallel result as a complement to his own work.
The episode makes visible a structural shift in mathematical research that is difficult to ignore. When a problem open since 2004 is resolved by a self-taught clinician using a consumer AI tool, the barriers to producing new results come down substantially — while the expertise required to verify those results becomes correspondingly more concentrated and more valuable.
For the AI field, the case offers a concrete demonstration of what frontier language models can accomplish when given well-structured autonomous tasks and sufficient compute time. Whether the mathematical community has the infrastructure to absorb the volume of results that may follow remains an open question.
The post Self-Taught Clinician And A 16-Hour AI Session Solved One Of Applied Mathematics’ Open Problems appeared first on Metaverse Post.
