协和医生用ChatGPT 5.6终结22年数学悬案

2026年盛夏，全球数学圈掀起了一场震动人心的风波——一个困住顶尖数学家长达22年的核心猜想，被一位来自协和医院的神经外科医生彻底破解。这位医生没有正统的数学科班背景，仅靠自学的数学知识，借助AI工具连续运行16小时，就完成了这项令无数专家望而却步的工作，整个过程堪称学术史上的奇迹。

跨界研究者的数学之旅

故事的主角名叫金山木，是北京协和医院的住院医师兼博士后研究员。他的本科专业是地质学，后来跨界攻读医学博士，除了普通理科生必修的基础数学课程外，所有的高等数学知识都来自自学。

他最初接触到这个数学猜想，源于临床研究中的一个痛点：在开展经颅超声研究时，需要用超声波穿透人类复杂的颅骨结构，这一过程涉及到复杂的矩阵分析。在自学相关领域知识的过程中，他偶然邂逅了在数值线性代数界极具知名度的Crouzeix猜想。这个猜想的表述简洁优美，背后关于数值域的几何直观形态极具吸引力，让这位跨界研究者深深着迷，于是决定尝试挑战这一难题。

困局22年的数学猜想

Crouzeix猜想由法国数学家Michel Crouzeix在2004年提出，针对的是非正规矩阵的谱范数与数值域之间的最优常数关系。在现代应用数学和工程计算中，矩阵是描述各类系统运行的通用语言，从量子力学的态叠加到大型算法的参数迭代，本质上都是矩阵在复平面上的投影与演变。而非正规矩阵的行为极为复杂，难以预测，这个猜想正是为了驯服这类矩阵而提出的。

猜想的核心内容是：对于复平面上的任意多项式p和任意矩阵A，其谱范数总能被其在数值域W(A)上的最大值约束，且两者之间的最优常数恰好为2。这一结论如果得到证明，将能够直接把复平面上的标量逼近误差转化为矩阵函数的范数界，对矩阵函数分析、GMRES迭代法以及Krylov子空间方法等领域有着决定性的意义。

在过去的22年里，无数数学家尝试证明这一猜想却屡屡碰壁。2007年，Crouzeix本人耗尽心力，也仅能证明该不等式在常数为11.08时成立；2017年，全球顶尖专家齐聚美国数学研究所举办的专题研讨会，最终将普适常数降低到了2.414，但之后的近十年间，数学界的探索再也没有取得实质性突破，这道难题仿佛成了一道无法逾越的高墙。

AI辅助的破局之路

金山木并没有选择传统的纸笔推导方式，而是将AI作为核心研究助手。他借鉴并改造了此前用于攻克其他数学猜想的提示词框架，为GPT-5.6设置了一套严谨的研究规则：首先切断AI对外部网络的访问权限，避免其抄袭人类过往失败的思路，逼迫AI从公理出发进行纯粹的原创思考；其次要求启动多分支智能体，沿着不同路径分别探索，严禁过早收敛到单一思路；同时加入对抗性审计环节，让不同路径互相验证，只有能经受住反例检验的路线才能留存；最后下达死命令，必须拿出经得起极端逻辑检验的完整证明才能停止。

设置好所有参数后，金山木转身回到临床工作，全程没有再干预AI的运行。在ChatGPT Work模式下，GPT-5.6就像不知疲倦的数字巨兽，在数学的深海中连续狂奔了约16个小时，期间经历了数万次假设、推翻与重建，最终找到了一条巧妙的证明路径：没有使用人类预想中的繁杂硬估计，而是通过精妙的采样策略将问题转化为一个出人意料简单的正性条件，轻松突破了这道困局。

学界的验证与震动

2026年7月30日，华盛顿大学应用数学系教授Alex Townsend像往常一样浏览arXiv平台时，发现了这份预印本。起初他和同行Anne Greenbaum都带着怀疑的态度审视这份来自圈外人的成果，但在仔细研读证明过程后，两人都被深深震撼，只用“震惊”二字形容自己的感受。随后，Crouzeix猜想的提出者Michel Crouzeix本人亲自逐行审核了这份证明，最终确认其正确性，正式宣告这个持续22年的数学悬案被彻底终结。

第二份证明的惊喜

更令人惊喜的是，这场由AI引发的学术地震仅仅过去了8天，就迎来了第二份独立证明。两位数学家Emiel Lorist和Felix Schwenninger发布了一份仅5页的简短证明，其思路与金山木的成果完全不同，将经典的双层势表示法与关于2-扩张的扰动引理结合在一起，更符合传统数学家的认知习惯，显得更加直观易懂。巧合的是，这两位研究者同样在探索证明策略的过程中使用了GPT-5.6。

得知第二份证明问世后，金山木并没有因为“被抢风头”而感到不快，反而感到纯粹的喜悦，他认为这是对自己研究方法的有趣补充。短短8天内出现两份截然不同却同样精妙的证明，进一步印证了AI辅助科研的巨大潜力。

科研黄金时代的黎明

这一事件的意义远超猜想本身的证明。在数学史上，虽有医学家取得重要数学成果的先例，但他们大多都接受过专门的数学训练，而金山木是首位没有正统数学背景的医学工作者，借助AI彻底解决长期悬而未决的重大数学猜想的案例。

这无疑标志着应用数学乃至整个科学界迎来了黄金时代的黎明：AI将大幅加速科学发现的进程，打破不同学科之间的壁垒，让跨领域研究者能够借助工具突破专业限制。同时，这也重塑了“科学家”的定义——当庞大的算力能够接管复杂的数学推导，神经外科医生也能摘下数学皇冠上的明珠，传统的学科边界正在被彻底打破。

金山木将整个研究过程完全开源，他的GitHub仓库中不仅包含最终论文，还有那段神级提示词、历次迭代的手稿、Lean 4形式化证明代码以及公理审计报告，所有内容都接受全球学界的检验。

开源地址：https://github.com/jinshanmu/CrouzeixConjecture

作者预印本：https://www.preprints.org/frontend/manuscript/f5469a625a8e7313e19bbf4d6c608cff/download_pub

第二份证明预印本：https://arxiv.org/pdf/2608.03841

相关研讨会信息：https://aimath.org/pastworkshops/crouzeix.html

当AI成为科研的通用工具，每一个跨领域的研究者，都有可能在自己感兴趣的领域掀起波澜。未来已来，你准备好了吗？