7月30日，美国康奈尔大学的数学家汤森德，做了一件他做了一年的事：把一道悬了22年的数学难题扔给ChatGPT。过去一年里，机器每次都回给他一个错误的证明，或者推到一半卡壳，他都问习惯了，就当例行公事。这天不一样。机器没答题，甩回来一个链接：这道题，三天前已经有人解了。

　　他点开一看，解题的人不是普林斯顿的教授，也不是哪个天才少年，是北京协和医院神经外科的一个住院医师，金山木。

　　这道题叫克鲁泽猜想（Crouzeix），2004年由法国数学家克鲁泽提出。那一年，世界上还没有智能手机。题目内容一句话能说完：一个矩阵经过多项式运算之后，它的「大小」不会超过某个几何范围上最大值的两倍。你不需要看懂这句话，只需要知道它的分量：它管的是一大类工程计算里「误差最多有多大」的保证，科学计算里那些解大方程组的算法，都靠这类结果打底。更能说明分量的是它的难度。2007年，提出者本人只能证明「两倍」放宽到11倍多是对的；2017年，他和合作者把这个数磨到2.414，同一年，美国数学研究所专门为这道题开了一周的研讨会，全球顶尖专家聚在一起。之后九年，再无实质进展。

　　从11磨到2.4，人类用了十年；从2.4走到2，是一台机器在大约16个小时里走完的。16个小时，差不多就是医生上一个大夜班的功夫。

　　金山木的履历跟数学不沾边。本科在北大读地质，后来转学医，如今在协和做神经外科博士后、住院医师，临床的排班满得吓人。他受过的正式数学训练，只有理科生都上过的那几门基础课，剩下的全靠自学。他自己说，闯进这个领域是因为研究经颅超声：想用超声波穿过结构复杂的人体颅骨，绕不开一门叫矩阵分析的数学，自学的路上，偶然撞见了这道题。按他给数学家的邮件里的说法，这道题吸引他的地方恰恰是简洁：一句话说得完，画在纸上看得见。一边是排得满满的临床，一边是挤出来的自学，这道全世界数学家啃了22年的题，就这么被一个「外人」惦记上了。

　　他解题的方式也不是伏案推导。他在ChatGPT的工作平台上调用GPT-5.6模型，写了一份很讲究的指令。你听听这几条规矩：切断联网，只许原创思考；派出大量子任务，各想各的路子，不许过早抱团到同一个漂亮想法上；每个候选证明都要反复接受对抗式审查，只有找到反例才能否掉一条路；没有一个完整证明通过检验之前，不许停。是不是像一个特别严的车间主任，在管一群聪明但爱偷懒的工人？设定完，他就走了，全程没有插手。机器自己跑了大约16个小时，一路假设、推翻、重建，最后交出了证明。这份指令也不是他拍脑袋写的，改编自OpenAI此前攻克另一道数学猜想时用的版本；汤森德他们在文章里说，往后很多人都会想抄这份作业，而它连同全部过程稿，已经原样公开。

　　后面的事更有意思。汤森德和合作者格林鲍姆承认，他们第一反应是怀疑：一道悬了22年的题，谁信呢。两人抱着挑错的心态读下去，几个小时后服了，说这是货真价实的证明。要知道格林鲍姆是全世界最有资格挑剔的人之一，2017年那场专门为这道题开的研讨会，组织者里就有她。随后猜想提出者克鲁泽本人也审了手稿——想想这个画面：一位法国数学家，跟自己提出的问题较了22年劲，最后等来的解题人，是一个中国医生，还是让机器干的。三个人一致确认：证明是对的。两位审稿人形容自己的感受，用的词是「震惊」：所有人都以为这道题需要更强硬的技术工具，证明却用一套取样策略，把问题化成了一个出人意料简单的条件。

　　这事听到这儿，很多人的第一反应是：AI会做数学了。这个说法对，但浅了。

　　数学家这22年不是白干的，从11到2.414，每一步都是人磨出来的，机器是站在这整个学科的积累上起跳的。对AI证明的怀疑也完全有道理——别忘了开头那个细节，过去一年，同一个ChatGPT给汤森德的全是假证明。机器一晚上能吐出一打「证明」，里头十一个半是错的，这才是常态。金山木真正专业的地方，是他把验证这一环也安排上了：证明写出来后做了形式化处理，让另一套程序逐行核验逻辑，再附上完整的指令、历次修改稿，全部开源，摊开给全世界检查。等于他替审稿人把最脏的活先干了一半，最后由三个全世界最难糊弄的人把关。

　　所以这件事里的分工其实很清楚：AI干的是推导，人干的是三件机器干不了的事——知道这道题存在并且值得解，设计一套让机器不偷懒、不自嗨的干活规矩，再组织最挑剔的人来验收。

　　做数学的门槛，从这道题开始换了位置。

　　以前你想碰这种题，先得读二十年书、当上数学家，「推导」那堵墙把所有外行拦得死死的，业余爱好者宣称证明了大猜想，几乎注定是笑话。现在推导可以外包给机器了，拦住人的变成另外两样东西：你知不知道哪道题值得解，你组织不组织得动验证。

　　会解题这门手艺，AI把它变便宜了；懂问题这件事，从来没有这么值钱过。

　　有人会说这是孤例、是运气，金山木自己也谦虚，说找到关键想法「确实有运气的成分」。但8月4日，也就是他的论文公开仅仅8天后，另外两位数学家发布了一篇只有5页的独立证明，思路完全不同，而他们也坦承用ChatGPT探索过证明策略。金山木听说后没有半点被抢风头的酸味，他说这是对自己方法的有趣补充，乐见两条完全不同的路几乎同时走通。同一堵墙，22年没人翻过去，两个星期里被翻了两次，两次手里都握着同一件新工具。这就不是运气了，这是墙塌了。

　　汤森德和格林鲍姆在文章末尾自己预测：这类「圈外人借AI做出重大贡献」的事，往后会越来越常见，验证的担子还得专家来扛，但应用数学成果的黄金时代开始了。他们甚至说不准，学术界有没有能力消化即将涌来的成果洪流。

　　该划的边界也划一下：论文目前还是预印本，正式的期刊发表流程没走完；「16个小时」的前面，是金山木在临床之外一点点自学垫的底，他懂到了能选中这道题、能看懂机器交上来的东西的程度，这不是随便谁注册个账号就能复制的。

　　金山木不是数学天才，他是个「懂自己问题的人」：天天琢磨超声怎么穿过颅骨，顺着自己的真问题一路摸进了数学的深处。这个世界上有大把这样的人。车间里干了三十年的老师傅，一耳朵能听出哪台机器不对劲；老医生扫一眼片子，心里就有了数；修了半辈子变压器的人，知道教科书上没写过的毛病藏在哪。他们肚子里装着真问题，只是隔行如隔山，从来没有工具替他们把山凿开。过去，是懂问题的人排队等懂工具的人来救；这一次，工具先到了。往后，这座山未必还拦得住他们。

　　22年，16个小时。往后这样的16个小时，会越来越多。