自学医生用AI解22年数学难题：读书这事该醒醒了

这两天数学圈炸了锅，我一个教工科的大学老师，反复看了三遍才敢信。

一个折磨了全球顶尖数学家22年的难题，Crouzeix猜想，被一个没受过数学科班训练的人给解决了。这人叫金山木，北京协和医院神经外科的住院医师、博士后。他本科读的是地质，后来跨界学医，拿了医学博士，数学全靠自学。他唯一的助手，是OpenAI的GPT-5.6。

这个猜想有多硬？2004年法国数学家Crouzeix提出，说的是矩阵分析里一个常数不会超过2。2007年Crouzeix本人拼尽全力，只证到11.08；2017年全球顶尖专家在美国数学研究所开了一周研讨会，才把这个数压到2.414。之后整整八年，人类的工具箱像耗干了最后一滴油，再没往前挪过半步。

你仔细看金山木这个人。地质本科、医学博士、还能啃得动矩阵分析——他不是个只会刷手机的闲人，是个有硬底子又肯自学的狠角色。AI再强，也得有人能从经颅超声一头撞进矩阵分析，能认出Crouzeix猜想值得一搏，能写出那套逼着AI不偷懒、不糊弄的提示词。这套提示词工程本身，就是真功夫。AI是望远镜，可望远镜不会自己决定往哪看，掌镜的还得是脑子里有货的人。

所以我常跟学生说，别听那些“读书无用”的鬼话，也别信“AI一来人人躺赢”的鸡汤。这件事真正的信号是：读书的方式变了，但读书这事，比过去更要紧了。

第一，学科之间那堵墙，正在被推倒。过去我们讲“隔行如隔山”，一个学医的想碰数学，门都摸不着。现在呢？一个医生靠自学加AI，捅穿了数学家22年没捅穿的窗户纸。这意味着，你孩子将来吃饭的本事，可能不在某一个专业里，而在“能不能把两个八竿子打不着的领域接到一块”。跨界，正从一句口号变成硬通货。

第二，会提问，比会背答案值钱多了。你看金山木赢在哪？赢在他知道该问AI什么、怎么逼着AI别糊弄、怎么判断吐出来的东西是对是错。他这份证明发出去才8天，另外两个数学家用完全不同的思路、只用5页纸也把它证出来了——而他们，同样用了AI。你发现没有，AI已经成了人手一把的标配，真正拉开差距的，是提问的人脑子里那点东西。

还有件事跟这条新闻撞在了一起，值得每个家长琢磨：就这几天，腾讯、字节、阿里、小米这些大厂启动2027届校招，AI岗位占比普遍超过80%，阿里的笔试甚至新加了AI Coding题型，专门考你“AI加专业”的复合本事。两条新闻摆一块看就明白了：企业已经不问你会不会用AI，默认你会；它问的是，除了会用AI，你自己还剩下什么。

第三，死记硬背这条路，是真的到头了。我带了十几年学生，最怕的就是那种考试机器：给个标准答案能背得滚瓜烂熟，一让他自己提个问题就傻眼。这种孩子，恰恰是AI时代第一批被淘汰的。机器最擅长的就是记和算，你跟它拼记性，等于拿命去换。

我也得说句实在的，说给那些一看这新闻就热血上头、想让孩子“弯道超车”的家长。金山木能成，背后是常年临床之余啃数学的死磕，是那份“非要弄明白”的轴劲，不是买个会员、开个AI就能复制的。别一转头就给孩子报什么“AI天才速成班”，那又是新割的一茬韭菜。真该做的，是从小护住孩子那点好奇心，让他敢问、敢跨界、敢跟标准答案较劲。

说到底，这事最该让人清醒的，不是“AI多神”，而是“什么样的人不会被AI替掉”。答案我琢磨明白了：会提问的、能跨界的、肯死磕的、还留着好奇心的。这几样，学校的标准化考试一样都不教，甚至还在一点点把它磨没。

一扇关了22年的门，被一个自学的医生推开了。这门后照进来的光，照的不是“读书无用”，是“读死书才无用”。本人高校教师，教育和读书这些事，我很愿意跟各位多聊聊。

金山木干了件让所有人后背发凉的事：他把GPT-5.6调成断网的Work模式，扔给它一套改装过的提示词，让它像一整所虚拟数学研究院，派出一大群子智能体，沿着不同路径去试、去互相挑错，不许过早收敛，不拿到完整证明绝不放弃。他按下回车就转身去忙临床了，整整16个小时，没再管过一句。

16小时后，AI吐出了一份干净利落的证明。出题人Crouzeix本人逐行看完，亲自盖章：对。华盛顿大学的Townsend、Greenbaum这些专家看完，只憋出两个字——震惊。

更难得的是，他把全过程一股脑开源了：GitHub上摆着最终论文、那套改装来的“神级提示词”、历次迭代的手稿，连Lean4的形式化验证代码都放上去了，敞开门等全世界来挑错。这不是藏着掖着的独门秘籍，是把牌全摊在桌面上让人验。

看到这，很多人第一反应是：完了，读书真没用了，AI都能解数学难题，我们还苦学个啥。

但是我要泼盆冷水，这话恰恰说反了。