陶哲轩谈AI对数学研究影响：好问题或成被采空资源

2026年10月19日，陶哲轩指出纯数学中的开放问题正在成为被开采的不可再生资源，如果借助自动化工具开采得过于粗糙，数学研究获得的净收益反而会减少。他以等式理论项目在 Lean 中形式化解决 2,200 多万个泛代数蕴涵关系为例进行说明：部分难题曾逼出构造无限反例的新技术，若自动定理证明器提前找出极小的有限反例，更有价值的数学方法可能就不会出现。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。