困扰数学圈22年的难题，居然被协和实习医生解决了？

刚刚，数学圈炸了。

一个折磨了全球顶尖数学家22年的核心猜想，竟然被一位协和神经外科医生给解决了？

他通过自学数学，用ChatGPT 5.6自主跑16小时，终结了这个22年的数学悬案。这简直太魔幻了。

2026年7月30日，美国华盛顿大学应用数学系教授Alex Townsend像往常一样，打开了arXiv。

在此前的一年里，Townsend几乎形成强迫症式的习惯：他每隔一段时间就会向GPT 5.6提问，试图让它证明数值线性代数领域那个著名的悬案——Crouzeix猜想。

在过去几百次尝试中，AI给出的答案要么逻辑漏洞百出，要么在试图跨越某个关键引理时陷入僵局。人类在这个猜想面前已经撞墙了整整22年，AI似乎也并不比人类更聪明。

然而，这一天折磨数值线性代数界整整22年的Crouzeix猜想，被证明了。

作者不是数学家，是北京协和医院神经外科住院医师，Shanmu Jin。

他并没有正规的高等数学科班背景，本科读的是地质，后来拿了医学博士，他的唯一助手，就是GPT-5.6。

GPT-5.6在一次约16小时的自主运行中，解决了这道难题，全程无人干预。

而且，验证者名单里，有Michel Crouzeix本人——22年前亲自出这道题的人，如今亲自盖章，宣告它解决。

Townsend和Greenbaum，也都是这领域的专家，看完解题过程后，他们只有两个字形容自己的感受：「震惊」。

当一位协和住院医师自学数学

故事的主角名叫金山木（Shanmu Jin），是北京协和医院的一名博士后研究员兼神经外科住院医师。

他的履历，跟数学没有任何关系。

他的本科专业是地质学，后来跨界学医，最终获得了医学博士学位。他所受过的全部数学教育，就是普通理科生要学的基础课。

「此外的一切数学知识，都是我自学的。」在给原稿作者（Alex Townsend和Anne Greenbaum）的邮件中，金医生轻描淡写地写道。

一个神经外科医生，为什么会去啃硬核的数学猜想？

这一切源于金医生在临床和科研中的一个痛点：经颅超声研究。

在试图用超声波穿透人类复杂的颅骨结构时，他一头撞进了「矩阵分析」的庞大领域。在自学的过程中，他偶然瞥见了那个在数值线性代数界如雷贯耳的名字——Crouzeix猜想。

这个猜想的表述异常简洁，且其背后关于「数值域」的几何直观形态极具美感。这种极致的简洁与优美，深深吸引了这位跨界者。

他决定试一试。不是用传统的纸笔推导，而是用大模型。

折磨数学界22年的「魔鬼常数」

为什么这些数学家如此震惊？我们首先需要知道，Crouzeix猜想到底有多难。

在现代应用数学和工程计算中，矩阵（Matrix）是描述万物运行的通用语言。

从量子力学的态叠加，到谷歌搜索的 PageRank 算法，再到今天训练大语言模型时的超大规模参数迭代，本质上都是庞大矩阵在复平面上的投影与演变。

然而，非正规矩阵（Non-normal Matrices）的行为极其诡异，它们就像一群脾气暴躁、不可预测的野兽。

为了驯服它们，法国数学家Michel Crouzeix在2004年提出了一个极具几何直观的美妙猜想：

对于复平面上的任意多项式p和任意矩阵A，其谱范数总是可以被其在「数值域」 W(A)上的最大值所约束。

而这两者之间的最优常数，正好是 2 。

形式化地表达即为：

这个不等式在应用数学界极其重要。

如果它成立，我们就能把复平面上的标量逼近误差，直接转化为矩阵函数的范数界。这对于分析矩阵函数、GMRES迭代法以及Krylov子空间方法等有着决定性的意义。

然而，「证明这个常数是2」成了无数数学家的噩梦。

但那扇通往常数「2」的大门，依然死死关闭着。直到2026年7月30日。

2007年，Crouzeix本人耗尽心力，也只能证明该不等式在常数为 11.08 时成立。

十年之后的2017年，美国数学研究所（AIM）甚至在圣何塞举办了一场为期一周的专题研讨会，聚集了全球顶尖的专家，探讨理论进路、数值证据、矩阵扩张等各种武器。Crouzeix与合作者帕伦西亚（Palencia）终于将这个普适常数降低到了2.414。

自那以后，人类的数学工具箱仿佛耗尽了最后一滴油。

直到这个夏天，一个拿着手术刀的「圈外人」闯了进来。