为什么全球数学界22年都走不出的死胡同，被一个协和脑外科医生破了？因为金山木根本不按数学家的套路出牌！地质、自学数学、神经外科，他调用的GPT-5.6-Sol压根不讲“学派”，跨界才是终极降维打击。

22年。

全世界最顶尖的大脑轮番上阵，把这个数学猜想当骨头啃了22年，从11.08一路磨到2.414，就差那么0.414，死活够不着预言里的那个"2"。

结果真把它啃下来的人，不是数学系的，是北京协和医院一个白天查房、上手术、管病人的神经外科住院医师，金山木。他背后的"助手"，是一台连轴转了16个小时没歇脚的大模型。

说出来你可能不信，他本科读的是地质，后来通过协和"4+4"项目才转的临床医学，正儿八经的高等数学就学过理工科那点基础课，剩下的全是他自己钻出来的。一个连数学系门槛都没摸过的人，怎么就把一堆数学家逼疯的题给解决了？答案有点扎心，因为他根本不知道这题有多难，所以他不怕。

这桩事最"魔幻"的地方，不是AI多聪明，而是整条链子里那个最像"人"的环节。金山木走的第一步，是把这台机器的网给掐死，锁进一个纯思考的环境里，然后放出一群"分身"沿着不同路子乱钻、互相挑刺，谁也别想早早收手。他把任务交代完就走了，全程没多碰一下，机器自己在里头翻来覆去折腾了16个小时。

说白了，这哪里是AI打败了人类？这是"提问的方式"打赢了"知识的总量"。专家们输在哪？输在他们太懂这道题的难了，太敬着它了，一上手就摆出非要跟它拼到底的架势，先把门槛抬到了天花板。金山木没这个包袱，他就像个外行问路，把问题往机器面前一摊，剩下的全交给它。这种"无知无畏"，恰恰是22年里那帮聪明人最缺的东西。

更扎心的是后面这段。康奈尔大学的汤森德，过去一年里隔三差五就逼着这台AI去证这题，几百次尝试，不是漏洞百出，就是卡死在某个引理上动弹不得 。到了7月30日那天，他像往常一样又试了一次，机器索性甩给他一个链接，告诉他：这题几天前被人解决了 。你品品，连它自己反复撞墙撞了整整一年的题，被一个外行用它的"分身们"给拆了。这讽刺感简直拉满。

汤森德一开始是带着"来挑刺"的心态看的，用纸笔重新推了一遍，又算了半天数值，直到确认挑不出毛病，才肯说出"有些神奇"这四个字。他拉上华盛顿大学的格林鲍姆，又找到了当年出题的法国人克鲁泽本人。8月20日，老头在邮件里撂下一句：我很满意，我的猜想已成为定理。一个悬了22年的问号，就这么被画上了句号。

但是，先别急着鼓掌。接下来这话可能不太中听。

这份证明，到今天为止仍然只是预印本，还没过正式期刊的同行评审。换句话说，现在给它在圈内盖章的，是几位有分量的个人，而不是一个经过检验的学术共同体。这跟"定理正式成立"之间，还差着整整一道手续。很多人把这事当成"AI抢了数学家饭碗"的铁证，可真正该让人琢磨的，不是恐慌，而是一句反问：当一个外行借着一台机器，就能在十几个小时内追平一批人几十年的积累，那"科班出身"这四个字，到底还值几个钱？

这才是多数人不敢往下深想的地方。有人已经在发愁，说AI正在把数学家"杀死"；也有菲尔兹奖得主跳出来说，真正的难题已经不在"把证明造出来"，而在"把证明读懂、消化、变成人话"。数学这堵高墙，被凿出了一扇后门。而从那扇门里走出来的，不一定非得是穿白大褂的人。那个真正把门凿开的人，其实只是给机器出了一道好提示词，然后站在旁边，看完了全场。