翻车了。
 
一向拥抱AI的陶哲轩，突然对GPT-6开炮。
 
OpenAI刚宣布突破孪生素数猜想，陶神扭头就是一盆冷水。这盆冷水浇得够狠，够直接，也够让人清醒。
 
陶哲轩的原话就四个字：令人无语。一个菲尔兹奖得主，一个全世界最拥抱AI的数学家，用了“无语”这个词。你细品。
 
事情起因很清楚，GPT-6 Astra刚发布，OpenAI就甩出一篇数学论文，宣布把孪生素数猜想的连续素数间距上界从246推进到186。246这个数字，全球顶尖数论学家一起卡了十几年。AI一出手，压到186。
 
论文摘要末尾写得很明白：这个证明由GPT-6 Astra给出。北大07级校友、宾大教授苏炜杰发推感叹，那是“真正超现实的一夜”。
 
OpenAI总裁Brockman喊了一嗓子“欢迎来到AGI时代”，整个科技圈跟着沸腾。
 
但陶哲轩没跟着欢呼。他看到的不是荣耀，是危机。
 
他认为AI解题太快、过程又太黑盒，这种能力反而可能掩盖数学研究中最宝贵的“失败”。这句话值得所有跟风喊AGI的人停下来想一想。
 
陶哲轩的逻辑链条非常清晰。
 
一个开放性数学问题被攻克，真正的价值往往不在于最终答案，而在于探索过程中产生的思想、方法和新方向。他本人就是个活例子，他没解决纳维-斯托克斯爆破，但因为试图解决它，意外把流体计算、图灵普适性和辛拓扑联系到了一起。
 
失败本身，产出了更多有价值的数学成果。这不是鸡汤，这是数学史反复验证的事实。
 
但AI的介入方式正在改变这一切，陶哲轩警告，如果答案主要由AI生成，而生成过程又被商业公司完全隔绝在公众视野之外，这个问题本身就可能被“污染”。它不再能像过去那样，成为推动后续数学进展的源泉。
 
我觉得这才是陶哲轩真正愤怒的地方。他气的不是AI算得快，而是AI把数学变成了一个只输出答案的黑箱。
 
更值得警惕的是，陶哲轩早在2026年7月的国际数学家大会上就做过系统预警。
 
他在报告中直言，AI正在“入侵”数学，这些AI产出的成果大多“不是在受控的科学条件下取得的”。只报成功不报失败，导致成功率未知。换句话说，公众看到的全是高光时刻，背后有多少试错、多少失败、多少无效路径，没人知道。
 
我认为陶哲轩真正想说的是：数学不仅需要答案，更需要理解。AI能吐出186这个数字，但它能讲清楚人类花了十几年从246走到186这段路上，每一步为什么失败、为什么卡住吗？它不能。因为它没有经历过失败。
 
陶哲轩之前说过，AI正在把数学从“证明稀缺”时代推向“证明过剩”时代。证明过剩本身不是坏事，但如果过剩的证明全是黑箱里吐出来的，人类数学家连验证都来不及，更谈不上从中汲取营养。这就是他说的“消化不过来”。
 
OpenAI的论文通篇是传统数学写法，唯独摘要末尾那句话刺眼，这个证明由GPT-6 Astra给出。除此之外，AI怎么参与的？没有任何展开。一个号称改变数学史的革命性成果，核心参与方式居然语焉不详。
 
这不叫开放，这叫遮遮掩掩。
 
别忘了，陶哲轩从来不是什么AI反对者，他跟OpenAI高管对过话，讨论AI如何改变数学教育。他一直在积极思考AI怎么辅助数学研究。正因为了解，所以担忧才更有分量。
 
陶哲轩守了十二年的纪录，一周内被破三次。他完全有理由为AI的进步鼓掌。但他没有。他选择了泼冷水。因为他知道，数学这门学科的真正生命力，从来不在一串冰冷的数字里，而在人类一次次试错、一次次失败、一次次从死胡同里爬出来继续往前走的那个过程里。
 
AI能给出答案，但给不出这个过程，而这恰恰是数学最不能丢失的东西。
 
翻车了。陶哲轩这盆冷水浇下去，翻的不是AI的车，翻的是我们对“数学进步”这四个字的理解。