陶哲轩批AI秒杀孪生素数令人无语

时间：2026年9月5日（量子位报道，原文为9月3日陶哲轩Mathstodon发文） 地点：美国/线上（菲尔兹奖得主陶哲轩在数学社交平台Mathstodon发文，量子位9月5日编译报道） 人物：菲尔兹奖得主陶哲轩（Terence Tao）、OpenAI GPT-6 Astra、Anthropic Claude、Axiom、牛津大学数学家Julia Stadlmann 事件详情： 9月3日，菲尔兹奖得主、加州大学洛杉矶分校数学教授陶哲轩在数学社交平台Mathstodon发表长文，警告AI快速破解数学开放性问题可能"污染"问题本身，使其不再能推动数学领域后续发展，直指OpenAI、Anthropic、Axiom三家AI实验室近日在孪生素数猜想上的密集突破。 陶哲轩在文中以纳维-斯托克斯方程全局正则性问题为例指出："如果我们希望这种迭代（解答开放性数学问题的过程）真正产生新的理解，那么负责进行迭代的人或系统，最好不能提前知道最终正确的拟设是什么。"他强调，失败路径表面看是死胡同，但失败的原因本身往往极具启发性。他还点名批评："运行AI系统的公司，却把通往这个最终拟设的整个过程，几乎完全隔绝在公众视野之外。" 事情背景是GPT-6 Astra发布当日（9月3日），OpenAI宣布该模型在孪生素数猜想方向取得进展，用Lean形式化证明将连续素数间距上界从246推到186；同期Anthropic和Axiom也分别将间距缩小到188和212。三家AI实验室竞相宣布结果，引发陶哲轩罕见公开吐槽"令人无语的一幕"。 值得注意的是，牛津大学数学家Julia Stadlmann赶在8月31日凭借对平滑模数的新估计，将连续素数间距上界缩到240。陶哲轩感叹："还好Standlmann赶在这个问题被'污染'之前，及时完成并公开了自己的分析。若非如此，她提出的为具有大平滑因子的数开发等分布估计，可能就要被埋没了。" 背景： 孪生素数猜想是数论最著名的未解之谜之一，2013年华人数学家张益唐证明存在无穷多对间距不超过7000万的连续素数而一战成名；2022年菲尔兹奖得主James Maynard把上界缩小到600；今年8月17日Axiom模型进一步缩小到246（已被本平台记录），被陶视为人类主导的最后一程。 影响： 1. AI数学研究范式争议：陶哲轩的批评反映数学界对AI"黑盒速解"模式的深层担忧——数学研究的核心价值不仅在最终答案，更在推导过程中产生的新思想。 2. "失败"的价值重估：陶哲轩本人就因尝试解决纳维-斯托克斯爆破问题未果，反而意外把流体计算、图灵普适性和辛拓扑联系到一起。"失败本身，产出了更多有价值的数学成果。" 3. AI公司透明度问责：陶哲轩呼吁AI公司在追求答案时公开更多过程细节，而非"几乎完全隔绝在公众视野之外"。 4. 学术竞争加剧：Stadlmann的"抢发"反映出人类数学家在AI加速时代的发表焦虑——一旦问题被AI"污染"，相关方法论的价值评估可能被打折扣。 总结： 菲尔兹奖得主陶哲轩的批评并非否定AI对数学的贡献，而是担忧"速解"模式会扼杀数学研究过程中那些看似失败、实则极具启发性的探索路径。AI把通往答案的中间过程变成了黑盒，但数学恰恰是在反复试错中生长出新学科、新方法的领域。这场争议或将成为AI时代数学研究伦理的新分水岭。 参考来源： 1. 量子位：陶哲轩吐槽GPT-6孪生素数新突破：令人无语的一幕 https://www.qbitai.com/2026/09/484649.html 2. Mathstodon陶哲轩原文 https://mathstodon.xyz/@tao/117207849921390904 3. 36氪：孪生素数猜想被GPT-6新突破，北大数学07级又出现了 https://36kr.com/p/3968660830023939 4. OpenAI官方博客：GPT-6 Astra: A new generation of intelligence https://openai.com/index/gpt-6-astra 5. 本站：AI首次形式化验证246定理 逼近孪生素数猜想 https://aiproducthub.cn/newsflash/axiom-math-ai-formally-verifies-246-prime-gap-theorem/ 6. 本站：陶哲轩：AI或引发自哥德尔以来最大数学危机 https://aiproducthub.cn/newsflash/terence-tao-warns-ai-may-trigger-math-crisis-godel-2026/ 7. 本站：Anthropic Claude形式化费马大定理证明 https://aiproducthub.cn/newsflash/anthropic-claude-formalizes-fermats-last-theorem-lean-proof/