数学家吃饭的家伙，说白了就三样：笔、纸、脑子。这套家伙事儿用了一百年，谁啃下个公开难题，谁就能进名人堂，评奖、经费全围着这个转。可陶哲轩在加州理工的礼堂里，直接把这层窗户纸捅破了。他说，证明是稀缺品这条老规矩，正在被AI一点点吃掉。

为什么数学最先挨刀？陶哲轩讲得很直白。数学对错有硬标准，计算机一行行能验，不用实验室不用望远镜，几百年的论文还全在电子库里躺着。这三样凑一块，就是机器学习最馋的那口饭。两年前大模型还在小学奥数上翻车，现在顶级AI已经能跟奥赛金牌选手过招了，几个老难题真就被刷下来了。

但别急着喊数学家下岗。陶哲轩放了张二战轰炸机的弹孔图。当年军方想给飞机加装甲，统计学家沃尔德说，你们光看见飞回来的，被击落的压根没回来。那些刷屏的捷报，就是飞回来的飞机。更多失败尝试没人提，也上不了热搜。数学问题空间大得没边，拿几桩胜仗就说AI接管数学，太急。

他点了个更深的坑，叫指标陷阱。解难题本来只是个替代指标，真正目标是理解数学规律。所有人都盯着今年解了多少题，方向就歪了。他把开放问题比作灯塔，灯塔不是让你撞碎的，是借那束光摸清周围未知的海。AI几小时撞碎灯塔，周围那片本该长出 New 理论的海就荒了。

陶哲轩给了个思想实验。让AI研制抗癌药，它烧算力合成分子，模型说能杀癌细胞，形式化验证打勾，试验也过了。可没一个人类研究者说得清它靠啥起作用。这针药你敢打吗？纯数学一个道理。老办法是问题孕育理解，理解变成证明，证明把确定性传给下游。AI直接从问题跳到答案，中间人类理解那层被跳过去了，整条链悬在半空。

出路他叫数学2.0。不是让AI替人想，是让它加厚人和数学之间的理解纽带。比如挑晦涩的大定理，重新找人类能消化的直观证法。他牵头的等式理论项目，人机协作判定了通用代数里两千多万条命题真伪。收尾时他说，最大的拦路虎不是算力，也不是评价体系，是人类自己的想象力。那支笔，正在被重新定义。