谁能想到,一道困扰数学界二十多年的矩阵猜想,可能被一名神经外科住院医师率先攻克。
2026 年 7 月,北京协和医院神经外科住院医师、博士后 Shanmu Jin 发布预印本《The Numerical Range Is a 2-Spectral Set》,提出了 Crouzeix 猜想的候选证明。其中的关键定理,来自 ChatGPT 5.6 Sol 一次约 16 小时的自主运行。
这一次,一名神经外科住院医师借助 AI,站到了矩阵分析前沿。
最终证明能否完全通过同行评审,仍需要时间。但有一件事已经很清楚,数学研究的参与者、工作流程,以及“谁有能力解决重要问题”的边界,都正在发生变化。
下一位解开长期猜想的人,可能不在数学系。
#Crouzeix #矩阵分析 #AI数学 #ChatGPT #NumericalRange #数学证明 #医疗howto #AI #AI进化生活howto






