数学界彻底炸锅了！陶哲轩当众宣布，AI把百年规则撕了个稀碎！

一支笔、一摞草稿纸、一颗足够聪明的脑袋，这是数学家吃饭的全部家当，差不多沿用了一百年。可就在不久前的加州理工礼堂里，有人把这套老规矩直接抬到了台面上，告诉在场所有人：游戏规则要变天了。

站上讲台的是陶哲轩，华裔数学家，2006年菲尔兹奖得主，在圈里被不少同行视作当代最接近高斯的那种头脑。他说话向来温和克制，所以这次语气里的那股＂摊牌＂味，格外惹人注意。

他开门见山地抛出一个判断：撑了数学界近百年的那条底层规则——＂证明是稀缺品＂——正在被人工智能一点点蚕食。放在从前，谁啃下一个公开难题，谁就能坐进名人堂；评奖、聘用、经费分配，几乎都围着这颗＂稀缺＂的果子打转。

为什么偏偏是数学，而不是物理、生物或者化学，最先感到压力？陶哲轩给了三条理由。数学的对错有明确标准，一行一行都能交给计算机去核验，不像文学或哲学那样全凭主观。它又不需要实验室、望远镜或者田野样本，纸笔就能开张。

再加上几百年攒下的论文几乎全被扫进了电子库——这三样合起来，恰好是机器学习最爱吃的那口饭。两年前，大模型还在小学奥数题上翻车，没谁当回事。

可现在，顶级AI已经能跟国际奥赛金牌选手正面较量。几家头部实验室看到这个苗头，直接把成吨的算力压上去，专门盯着数学难题刷。

几桩拖了几十年的老问题，就这么被一个接一个＂刷＂下来。社交平台上那阵子特别热闹，＂某某难题被AI攻破＂的消息三天两头冲上热搜，连带着相关的科技股也跟着蹭了一波又一波。

看热闹的人很容易以为，数学家快要集体下岗了。陶哲轩在演讲中专门放了一张老照片——二战时期美军轰炸机的弹孔分布图。

这张图背后有个经典段子：当年军方琢磨给飞机哪里加装甲，统计学家沃尔德泼了盆冷水，提醒大家，你们看到的只是飞回来的那些，真正被击落、根本没回来的，才是关键。意思很明白。

那些刷屏的捷报，其实只是侥幸成功的那一小撮。更多的尝试压根失败了，没人上报，也上不了热搜。

数学问题的空间大得没边，难度没有天花板，拿几桩胜仗就宣称AI接管了数学，未免太心急。他特意点了AI的软肋：在那些有明确标准答案、规则闭合的领域，它表现确实惊人；可一旦牵扯到主观判断、现实世界的变量，或者数据本身就稀缺的问题，马上就露馅。

把局部的赢当成全盘通吃，是眼下这波热潮里最容易踩的坑。更深一层的问题，他叫作＂指标陷阱＂。

解决难题这件事，本来只是个替代指标，真正的目标是人类对数学规律的理解。可一旦所有人都盯着＂今年解出了多少题＂这块显示屏，方向就容易跑偏。

他打了个比方，把那些著名的开放问题比作灯塔。灯塔立在那儿，不是让人冲上去把它炸掉，而是让航船借着那束光，去摸清周边那片未知的海。

沿途摸出来的工具、方法、副产品，往往比最终答案还值钱。要是AI几小时就把灯塔一头撞碎了，周围那片本该孕育新理论的海域，也就跟着荒掉了。

为了让听众更直观感受这股隐忧，陶哲轩现场给了一个思想实验。假设让顶级AI研制一款能通过三期临床试验的抗癌药，它烧掉巨量算力，合成出一组前所未见的分子结构。模型说能杀死癌细胞，形式化验证打了勾，试验也真的过了。可是没有一个人类研究者说得清，它到底靠什么起的作用。

这针药，你敢往自己身上打吗？AI完全可能只是钻了临床流程里某个空子，给出了一个＂看起来对＂的解。纯数学也是同一套逻辑。

老办法是问题孕育理解，理解再变成证明，证明把那份确定性稳稳传给工程、物理、金融各个下游。现在AI直接从问题一步跳到答案，中间那层＂人类理解＂被跳过去了，整条链悬在半空。

数学是无数学科的地基，地基里埋进看不懂的黑箱，上头的大楼能不能稳得住，这是他留给全场最沉的那个问题。至于出路，陶哲轩开的方子叫＂数学2.0＂。

核心思路不是让AI替人去想，而是让它去加厚人和数学之间那条理解纽带。一个方向叫＂开放阐释＂——专门挑那些证明极其晦涩的大定理，重新找更直观、更容易被人类消化的新证法。

加州理工的学生社团已经打算办一场数学马拉松，用开源AI工具重走几个经典成果。另一个方向是实验数学。陶哲轩自己牵头的＂等式理论项目＂，就是用人机协作的方式，一口气判定了通用代数里两千多万条命题的真伪。还有逆伽罗瓦问题的挑战，眼下已经把低次多项式对应的所有伽罗瓦群逐个找到了实例，正朝着更高次推进。

研究者还可以玩＂消融实验＂：把某个已证定理背后依赖的高级工具抽掉，看AI能不能找出更初等的证法；或者反过来，放宽前提条件，看结论还能撑多远。这类活一个人干一辈子都干不完，可在新模式下，几个月就能见阶段性成果。

演讲收尾的时候，陶哲轩留下一句分量很重的话。走向数学2.0，最大的拦路虎既不是算力，也不是现行的学术评价体系，真正卡住所有人的，是人类自己的想象力。

那条用了快一百年的老规则，是不是真的被撕成了碎片，眼下还下不了定论。但有一点越来越清楚——数学家手里的那支笔，正在被重新定义。