陶哲轩在 Caltech "Math 2.0" 演讲中警告盲目用 AI 解题有害数学长期健康

陶哲轩昨晚在 Caltech "Math 2.0" 演讲中表示，仅追求解题的盲目优化现在对数学的长期健康主动有害。他把开放问题比作灯塔，是探索周边数学景观的指引而非终点，尝试过程中的经验往往比最终解答更有价值；用自动化工具过早抵达灯塔会破坏未走路径的探索，不加区分地用 AI 解题还会损害向真实世界应用的迁移。