陶哲轩警告 GPT-6 抢答污染数学

一向积极拥抱 AI 的陶哲轩，这次发了一则告警：**AI 抢答数学难题、过程又太黑盒，反而可能阻碍数学领域的真正发展**。他举例，GPT-6 Astra 刚发布就在孪生素数猜想方向取得新进展，用 Lean 形式化证明把连续素数间距上界从 246 推到 186；Anthropic 与 Axiom 同期也分别把该间隔缩到 188 和 212。

陶哲轩的核心担忧落在纳维-斯托克斯方程全局正则性问题：其答案可能主要由 AI 生成，且运行 AI 的公司把迭代过程几乎完全隔绝在公众视野之外。他认为，一旦提前知道最终正确的拟设，就会抑制对其他路线的探索——而那些「死胡同」为什幺失败，本身往往极有启发性。严重时，AI 对数学发展的影响甚至可能从正面变成**净负面**。

💡 为什么值得看AI 直接吐出孪生素数新进展后，陶哲轩指出黑盒抢答可能抹掉探索过程中的数学价值。