近日，一则关于数学领域重大突破的消息引发广泛关注：北京协和医院神经外科博士后金山木借助人工智能模型，成功证明了困扰学界22年的Crouzeix猜想。这项成果不仅因其跨学科背景的突破性而备受瞩目，更因AI在数学证明中展现的颠覆性潜力引发学界热议。
据国际数学期刊披露，金山木通过OpenAI开发的GPT-5.6-Sol模型，在完全自主运行的16小时内完成了该猜想的完整证明。这一成果得到美国康奈尔大学数学家Alex Townsend、华盛顿大学教授Anne Greenbaum以及猜想提出者Michel Crouzeix的联合验证，三位权威学者确认证明过程严谨无误。值得关注的是，在论文预印本发布仅8天后，荷兰数学家Emiel Lorist与Felix Schwenninger独立给出了另一种证明路径，形成学术对话的有趣局面。
这位非典型数学家的学术轨迹充满戏剧性。公开资料显示，金山木本科就读于北京大学地质学专业，2020年通过协和医学院"4+4"试点班转入临床医学领域，2024年才取得神经外科博士后资格。其跨学科突破源于临床研究中的现实需求——在经颅超声技术攻关时，他需要解决超声波穿透复杂颅骨结构的数学建模问题，由此接触到矩阵分析领域并偶然了解到Crouzeix猜想。据本人透露，其正式数学教育仅限于本科基础课程，后续知识全部通过自学积累。
该猜想自2004年由Michel Crouzeix提出后，长期被视为矩阵分析领域的"圣杯"问题。其核心命题看似简单：任意矩阵经多项式函数作用后的范数不超过该函数在矩阵数值域上最大值的两倍。但证明难度极高，2007年Crouzeix本人仅将常数推进至11.08，2017年国际数学界联合攻关才降至2.414，此后十年再无实质进展。金山木的突破性在于完全摒弃传统纸笔推导，采用AI驱动的非常规路径：通过设定物理断网环境、启动多智能体并行探索、实施对抗性策略审计等创新方法，引导模型经历数万次自我迭代最终完成证明。
学术界对这项成果的评价呈现两极分化。支持者认为AI展现了超越人类直觉的解题能力，通过智能采样策略将复杂估计简化为正性条件验证；质疑者则担忧过度依赖机器可能导致数学证明失去可解释性。Townsend教授在审阅证明时用"震惊"形容感受："AI找到了人类从未设想的证明路径，这种简洁性完全颠覆传统数学审美。"目前，金山木已将全部研究资料开源，包括提示词策略、迭代手稿及形式化验证代码，供全球学者复核。
这场突破恰逢AI数学研究爆发期。2026年5月，OpenAI宣布其推理模型自主解决平面单位距离问题；8月初披露的下一代模型Astra已在10项理论难题取得进展；同期Anthropic研究版Claude模型将黎曼ζ函数零点下界从41.6%提升至67.2%。这些动态显示，AI正从辅助工具转变为数学发现的主动参与者。金山木的案例更证明，跨学科背景与AI技术的结合可能催生新的科研范式——当临床医生用医学思维训练数学AI时，反而突破了专业数学家的思维定式。
论文详细地址：https://alextownsend.net/essays/SIAMNews_CrouzeixConjecture.pdf
