协和医院神经外科住院医生，用AI证明了一个22年未解的数学猜想

小甲鱼的二师兄

2026年7月27日，一篇标题为《The Numerical Range Is a 2-Spectral Set》的预印本出现在学术平台上。

作者 Shanmu Jin，身份是北京协和医院神经外科博士后和住院医生。

论文声称证明了 Crouzeix 猜想。这个猜想 2004 年提出，此后二十多年没有人能证明。

三天后，康奈尔大学应用数学副教授 Alex Townsend 像往常一样，让 ChatGPT 5.6 去试解这个猜想。

他已经这样做了一年，每次拿到的要么是错误的证明，要么是卡在某个缺失引理上的半成品。

这一次，ChatGPT 给了他一个链接，指向 Jin 的预印本，告诉他猜想已被解决。

Townsend 和华盛顿大学教授 Anne Greenbaum 带着怀疑读了论文。

几个小时后，他们确认：证明是对的。

猜想提出者 Michel Crouzeix 本人也核验了手稿，认为论文正确。

Jin 本科学的是地质学，后来读了医学博士。

他的正式数学教育仅限于理科生的基础课程。

他告诉 Townsend 和 Greenbaum，超出这些课程的数学知识 “全部是自学的”。

@科普君XueShu雪树

协和这个医生金山木相当牛逼。不要因为他使用了人工智能就低估。一大堆数学家同样都在用人工智能，为什么偏偏是他解决？因为他厉害。这某种程度上可以类比于当年音乐家赫歇尔借助望远镜发现了天王星。