数学圈炸了！折磨全球数学家22年猜想，被协和神经外科医生终结了

这事听起来就离谱！

一道让全世界数学家疼了22年的数学难题，最后竟然不是被数学家，而是被一位协和医院的神经外科医生给解决了。

一个每天研究人脑的医生，是怎么攻克一个纯数学领域的顶尖猜想的？

AI解题让人惊讶

现在要是有人说AI能帮写报告，画个图，大家眼皮都懒得抬一下，这年头谁还没使唤过AI干点活儿呢？

我们早就习惯了它是个越来越聪明的助理，能分担不少工作，但助理归助理，干的终究是辅助的活，让它出主意可以，让它拍板决策还是得自己来。

可谁能想到，AI这股风已经不满足于当助理了，它开始悄悄干起了专家的活。

如果说AI帮你敲代码，还算是在它能力圈内的事，那它要是帮你解开了一道让全世界顶尖科学家都想破脑袋的难题呢？这事听着就有点玄，像是电影里才有的情节。

更让人觉得离谱的是，主导AI的不是什么硅谷的技术大牛，也不是名牌大学的计算机教授，而是一位神经外科医生。

一个拿手术刀的人，用AI这个新工具，把一个困扰了数学界22年的悬案给搞定了。

圈外人破局

这个人是北京协和医院神经外科的一名医生，叫作金山木，看他的履历，会发现跟数学这两个字几乎没什么交集。

他本科在北京大学读的是地质学，每天研究的是石头和地球，后来才通过一个特殊的项目转到了临床医学，最后成了神经外科的博士后。

可以说他接受过的数学教育，也就是理工科学生都要学的基础课，完全没有经过系统的高等数学训练。

那他一个医生，好端端的怎么会去碰一个硬核的数学难题呢？说起来这事还真是被工作逼出来的。

他在做一项关于经颅超声的研究，简单说就是想用超声波穿透脑袋上那层复杂的颅骨去看清大脑。

在这个过程中，他不可避免地要和大量的矩阵分析打交道，于是在自学的过程中，他就偶然遇到了这个让无数数学家头疼的猜想，Crouzeix猜想。

这个猜想有多难？它在2004年由法国数学家 Michel Crouzeix提出，核心是关于一个数学常数。

这个常数看起来不起眼，却直接关系到很多大型工程计算的效率和准确性，比如我们每天看的天气预报，还有设计飞机，勘探石油这些大事，背后都有它。

在过去的22年里，全世界最聪明的那批数学家，用尽了各种办法，也仅仅是把这个常数的范围从11.08艰难地缩小到了2.414，距离最终的目标2，始终隔着一层窗户纸。

面对这块硬骨头，金山木没有选择拿笔和纸去硬算，他把整个证明任务，打包交给了GPT5.6模型，让AI在一个专门的工作平台上自己运行。

但他不是简单地把问题输进去然后就当甩手掌柜了，给AI设计了一套极其严密的操作流程，逼着AI用一种纯粹逻辑的方式去思考。

随后让系统启动大量的AI智能体，沿着完全不同的思路去分头探索，严厉禁止它们过早地避免钻进牛角尖。

然后就是他让另一部分AI对其他AI提出的候选证明策略进行对抗性的审查，疯狂寻找反例和逻辑漏洞。

只有那些扛住了所有攻击，找不到任何问题的策略，才会被保留下来。

最后一条是死磕到底，他给AI下达了死命令，在得到一个逻辑上完美无缺，可以经受住任何检验的完整证明之前，绝对不许停下来。

天才竟是圈外人

当这份由AI完成的证明手稿出现在数学界的预印本网站上时，最初并没有引起太大的波澜。

因为每年都有很多民间科学家宣称自己解决了世界难题，最后大多被证明是闹剧。但很快一些顶尖的数学家注意到了它，当他们仔细审阅了证明过程后，态度从怀疑变成了震惊。

这事的冲击力到底在哪？就是这个猜想本身的分量，它不是什么冷门的习题，而是数值线性代数这个重要领域里一块公认的，啃了22年都没啃下来的硬骨头。这期间全球顶尖的专家为了它专门开研讨会，成果也相当有限，这样一个殿堂级的难题，大家都已经默认了它的难度和解决它所需要的时间。

但是把它解决了的，却是一个身份背景和这个领域完全不沾边的人。

金山木的履历在数学家们看来，几乎就像一个玩笑，一个研究地质出身的神经外科医生，因为工作需要才开始自学相关数学知识。

它打破了人们对于解决顶级科学难题必须具备深厚专业背景和长期科班训练的固有认知。

最让人震惊的当然还是解决问题的方式，金山木用驾驭AI进行逻辑创造。

在很多人还把AI当成一个高级搜索引擎或者聊天工具的时候，他已经把它变成了一把可以攻克顶级科学难题的利器。

更关键的是，他不是被动地问AI一个问题，然后等待答案，而是主动地设计了一整套方法论，去引导，限制和激发AI的思考过程。

这种驾驭AI的思路，比AI本身得出答案这件事，更让专业人士感到惊讶和启发。

而把整个事件推向高潮的是猜想的提出者，也就是22年前亲自出了这道题的本人。

在收到手稿后，他亲自下场，一行一行地仔细核对了这份由AI辅助完成的证明。

最终他公开确认，证明是正确的，出题人亲自宣布答案正确，这为整个事件画上了一个圆满的句号，也彻底打消了所有的质疑。

他们的思路完全不同，但同样精妙，而他们也坦言，在探索的过程中，同样也借助了ChatGPT 5.6的帮助。

一项困扰人类22年的难题，在AI的介入下，8天之内竟然涌现出两种不同的解法。

整件事看下去确实够让人震惊，可能预示着未来所在行业里最难啃的骨头，或许不是被同行解决的，而是被某个压根想不到的人，用压根想不到的方法给解决了，真正的壁垒或许从来不是专业知识，而是思维的边界。