陶哲轩在加州理工学院做了一场题为"Math 2.0"的演讲。演讲里他抛出一个判断:AI已经能撬开一些过去够不着的问题,但把这件事本身当成喜讯来庆祝,方向就错了。

他的原话是:"进一步盲目地只优化解题能力,如今正在主动损害数学的长期健康。"

打开网易新闻 查看精彩图片

这句话的分量在于说话的人。陶哲轩不是反对AI的保守派,他一直在用AI工具做数学。他反对的是把"解题"当成数学唯一的价值出口。

打开网易新闻 查看精彩图片

数学家的目标不是解题

他先纠正了一个流行印象。他说,与大众看法(或者我们自己的一些宣传)相反,数学家并不是只盯着解决未解难题。

在纯数学领域,未解难题扮演的是"灯塔"的角色。灯塔不是终点,不是到了就完事的地方,而是用来指引探索周围数学地貌的参照物。

这个比喻把整场演讲的逻辑撑起来了。解题的过程——无论成功、失败还是只取得部分进展——往往比问题最终的答案更有价值。

提前抵达灯塔的代价

顺着这个逻辑,陶哲轩给出了他的担忧:用自动化工具过早抵达这些灯塔,会打断对那些"未被选择的路径"的探索,让周围的领域变得贫瘠。

他用的词是"sterilize", sterilize the surrounding field。一片地如果被过度清理,就长不出东西了。

打开网易新闻 查看精彩图片

换句话说,一个难题被AI快速解掉,看起来是效率提升,实际可能是把一整片本可以长出分支理论的土壤提前翻耕干净了。

他还有一句更重的判断:不加区分地用AI以不可再生的方式解题,会损害这个领域的长期健康与进步,也会影响向更混乱的真实世界应用的安全迁移。

"不可再生"这个词值得停一下。解题消耗的是人类对这个问题周边结构的理解积累,解完就没了,不像算力可以再买。

该庆祝什么

陶哲轩没有说不要用AI。他说的是,只把解题能力当成唯一指标去优化,是有害的。

如果灯塔的意义在于指引探索,那么真正值得关注的,是AI能不能帮人看清更多路径,而不是替人把灯塔一个个拔掉。

这场演讲的标题叫"Math 2.0",但他给出的不是一份乐观的路线图,而是一条边界:工具越强,越要想清楚拿它去换什么。