协和医院神经外科住院医师金山木借助 AI 证明克鲁泽猜想

协和医院神经外科住院医师金山木借助 AI 证明克鲁泽猜想,白天在手术台前救死扶伤,晚上回家让AI自主推演数学定理——这不是科幻电影的情节,而是一位神经外科住院医师的真实日常。2026年7月,北京协和医院神经外科住院医师金山木,借助人工智能成功证明克鲁泽猜想,一举攻克了困扰全球数学界长达22年的顶级难题。

一、什么是克鲁泽猜想?为什么这么难?

克鲁泽猜想是数值线性代数领域的核心难题,由法国数学家米歇尔·克鲁泽(Michel Crouzeix)于2004年正式提出。简单来说,它试图用一个复平面上的凸集(数学上称为“数值域”)上的函数最大值,来控制矩阵函数的大小。

这个猜想的表述极其简洁,但证明难度极高。2007年,克鲁泽本人仅证明了当常数为11.08时不等式成立;2017年,全球顶尖专家在美国数学研究所经过一周的专题研讨会集中攻关,才将常数优化至1+√2.约等于2.414.此后的八年里,该问题再无实质进展,成为学界公认的瓶颈难题。

这一猜想之所以重要,是因为它是连接复平面逼近理论与矩阵函数分析、GMRES迭代法、Krylov子空间方法的关键桥梁,在医学影像、信号处理、迭代算法等众多领域具有极高的应用价值。

二、一位神经外科医生,为何闯入数学领域?

金山木并非职业数学家。他的本科就读于北京大学地质学专业,后来通过北京协和医学院的“4+4”试点班转入临床医学,最终成为一名神经外科住院医师。他所接受的全部数学教育,仅限于理工科本科生的基础课程。

他跨界学数学并非一时兴起,而是源于临床科研中的实际需求。在经颅超声研究中,他试图用超声波穿透复杂的人体颅骨结构,却一头撞进了“矩阵分析”这个庞大的数学领域。在自学的过程中,他偶然接触到了克鲁泽猜想——这个表述简洁、几何直观极具美感的数学问题深深吸引了他。他决定试一试,而且不是用传统的纸笔推导,而是用AI。

三、16小时:AI如何完成证明?

金山木的突破并非大众误解的“AI一键解题”,而是一场精心设计的自主推演。

他借鉴了OpenAI此前攻克其他数学难题时的提示词策略:要求模型在物理断网环境下进行纯粹原创思考,启动大量智能体沿不同路径发散探索、防止过早收敛,对候选策略进行对抗性审计,并指令模型在获得完整证明前不得放弃。整套流程设定完成后,他全程未进行任何干预。

GPT-5.6-Sol模型在ChatGPT Work平台上启动了约16小时的自主运行,经历了数万次假设、推翻与重建,最终给出了完整的证明。数学家们评价称,AI并未采用人类预想中的繁杂硬估计,而是通过巧妙的采样策略简化出了简洁的正性条件。

四、三方权威验证,证明获确认

论文上线后,最先注意到它的是美国康奈尔大学数学系副教授Alex Townsend。他与华盛顿大学数学系教授Anne Greenbaum花了数小时逐行细读,最终确认论证逻辑成立。随后,猜想提出者Michel Crouzeix本人也独立完成了核验。三方一致确认:推导严谨,逻辑成立。

Townsend和Greenbaum在审阅证明后以“震惊”形容自己的感受。更重磅的是,论文发布仅8天后,两名数学家依托不同思路、同样借助AI完成了独立证明,双向印证了成果的可靠性。金山木已将全部研究资料开源,包括最终论文、提示词、历次迭代手稿、Lean 4形式化证明代码及公理审计报告,供全球同行复现校验。

需要说明的是,该成果目前仍为预印本,尚未完成正式同行评审,科研严谨性仍需持续核验。

五、启示:学科围墙正在消融

一位神经外科医生攻克了困扰数学界22年的难题,这件事本身就在提醒我们:学科的围墙正在消融。

过去我们默认,基础数学交给数学家,医学交给临床医生。但现实中,医学研究不断遇到数学、计算机、工程学的交叉难题。临床一线的从业者距离真实问题最近,往往更容易跳出圈内人的固有思维定式,看见被忽略的角度。放射科医生结合AI读片、病理科医生用深度学习挖掘切片特征、内科医生利用病历数据库挖掘临床规律——这些跨界合作正在我们身边发生。

与此同时,AI时代医生的核心能力也在发生转变。大模型可以完成文献整理、公式推演、数据统计等大量工作,未来记忆海量知识不再是绝对优势。提出好问题、辨别逻辑漏洞、做好结果校验,正在成为更核心的能力。金山木的成功也印证了这一点:他没有让AI自由发挥,而是设置严格规则,反复校验每一步推导。工具越强大,对使用者的鉴别能力要求就越高。

证明克鲁泽猜想,是一个关于好奇心、跨界勇气和善用工具的故事。它告诉我们的不是“人人都能成为数学家”,而是:保持对未知的好奇,善用手中的工具,有时候,突破恰恰来自那个最意想不到的人。