Self-Taught Clinician And A 16-Hour AI Session Solved One Of Applied Mathematics’ Open Problems
In Brief
A Beijing neurosurgeon used GPT-5.6 to prove a 20-year-old math conjecture, signaling a shift in who can produce — and verify — research.
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.
Peer Confirmation and the Question of Who Does Mathematics Now
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.
Disclaimer
In line with the Trust Project guidelines, please note that the information provided on this page is not intended to be and should not be interpreted as legal, tax, investment, financial, or any other form of advice. It is important to only invest what you can afford to lose and to seek independent financial advice if you have any doubts. For further information, we suggest referring to the terms and conditions as well as the help and support pages provided by the issuer or advertiser. MetaversePost is committed to accurate, unbiased reporting, but market conditions are subject to change without notice.
About The Author
Alisa, a dedicated journalist at the MPost, specializes in crypto, AI, investments, and the expansive realm of Web3. With a keen eye for emerging trends and technologies, she delivers comprehensive coverage to inform and engage readers in the ever-evolving landscape of digital finance.
More articles
Alisa, a dedicated journalist at the MPost, specializes in crypto, AI, investments, and the expansive realm of Web3. With a keen eye for emerging trends and technologies, she delivers comprehensive coverage to inform and engage readers in the ever-evolving landscape of digital finance.
