陶哲轩批评 AI 解题是「露天开采」：目标达成却伤害了数学领域

rohanpaul_ai · x · 2026-11-01

陶哲轩（Terence Tao）对 AI 做数学的方式提出批评，问题不在证明对错，而在方式。他以 Navier-Stokes 问题为例：围绕它的 AI 解题活动一度火热，如今领域「一团乱」——虽然最终会恢复、人们会理解那个证明并回归，但做法「非常不理想」。

他的核心区分：存在一种「负责任地解决问题、能培育领域发展」的方式，也有一种正在出现的「不负责任的方式」——对问题进行自动化的「露天开采」（strip mining），达成了眼前的目标，却以牺牲领域生态为代价。数学家想要的是计算器，而不是竞争者。