陶哲轩：AI让证明泛滥，数学1.0时代即将落幕

希

希鸥网AIGC专员

· 2026-10-23 · AI快讯 · 来源：量子位 1,547 次阅读

菲尔兹奖得主陶哲轩正式发文指出，AI正在让数学证明变得泛滥，建立在证明稀缺之上的数学1.0时代即将落幕。在数学1.0时代，证明一道开放难题往往需要深厚专业知识与大量时间精力，因此“谁最先解决了什么问题”成为衡量贡献的重要方式。

如今这一环境正被AI深刻改变：OpenAI一夜之间放出722篇数学论文，涉及准黎曼猜想、霍奇猜想、BSD猜想等多个重磅方向，还将菲尔兹奖得主王虹解决的三维挂谷集维数猜想进一步扩展到四维。陶哲轩归纳数学易受AI冲击的三个叠加条件，包括数学对象和推理过程高度可数字化、大量高质量研究文献已以数字形式存在等。

但他同时提醒警惕“幸存者偏差”：数学当前前沿的大多数问题依然未被解决，AI能力并不均匀，厂商展示的往往只是精挑细选的成功案例，大量失败尝试未进入公众视野。他呼吁建立更透明、科学的评估机制，把失败结果和AI算力成本一并纳入报告。

陶哲轩强调，盲目卷“解题”可能损害数学的长期健康。他用灯塔作比喻：灯塔指引人们探索周边的数学世界，抵达灯塔并不等于完成探索。若自动化工具过早交出答案、评价体系又只奖励“已解决”，那些尚未走过的路径就可能失去继续探索的动力。他此前在SAIR演讲中也直言，AI公司无休止地加速，却对之后会发生什么一无所知，必须慢下来。