陶哲轩：数学成了 AI 实验室的基准，优雅证明正被抛弃

haider1 · x · 2026-10-24

数学家陶哲轩（Terence Tao）在采访中给出对 AI 与数学关系的判断：AI 实验室需要测试来衡量模型是否在进步，而数学问题几乎是仅剩的可训练素材，「我们领域最大的奖项和目标，如今成了它们的基准」。

他同时指出一个副作用：AI 正在产出糟糕的证明——结果是好的，但毫无对优雅性的追求，不考虑谁会读懂它、也不管它对后续研究意味着什么。配图采访标题更为尖锐：AI 把优美数学变成了「有毒废料」（toxic waste），硅谷急于攻克长期悬而未决的难题，却把数学降格为原始训练素材，排除了「优雅解法」。这是顶尖数学家对 AI 训练实践与其对数学文化影响的罕见直言。