这个星期，数学界和OpenAI彻底撕破脸了。
10月6日，OpenAI在GitHub上一次性放出722份AI生成的数学手稿，号称覆盖372个前沿数学问题，其中不乏困扰数学界多年的著名难题。三天后，一个名叫"人类数学协会"的组织发布联合声明，措辞罕见地严厉："一次性发布700多份文件，展示的不是学术研究，而是权力。"声明呼吁全球数学家停止与OpenAI合作。
把这把火烧到最大的人，是陶哲轩——菲尔兹奖得主、当今最负盛名的数学家。他在自己的博客上全文转载了这份声明。
有意思的是，陶哲轩既不是声明的起草人，甚至都不在这个协会的会员名单里。一个一直以温和、开放著称、还公开用AI辅助研究的人，为什么选择在此刻站出来表态？
因为他看到的威胁，比"AI抢饭碗"深得多。
AI不是在解题，是在跳过人类最珍贵的那一步先看一个对比。
一个悬而未决的数学猜想，AI十分钟就能给出证明。而人类数学家围绕同一个猜想，往往要花十年——但这十年不是白花的：为了攻克它，人类会发明新的工具、新的语言、甚至新的数学分支。怀尔斯证明费马大定理用了七年，但那七年里长出来的东西，后来滋养了整整一代数论研究。
爬山和坐直升机都能到山顶，但只有爬山的人，认得路。

AI用十分钟拿走了答案，也让人类永远失去了那十年。
这就是陶哲轩真正担心的东西。数学的价值从来不只是"这个命题成立"，而是理解它"为什么成立"——理解的过程会产生副产品：新方法、新视角、下一代数学家。AI吞下问题，吐出答案，副产品为零。
矿挖完了，矿渣堆里什么都没有。
一本写着"我恨Bourgain"的旧书陶哲轩在一次演讲里，举起过一本他珍藏三十多年的旧论文。
那是他读研时啃的一篇Bourgain的论文，难到什么程度？书页的空白处，他当年用铅笔写满了批注，其中一句是："我恨Jean Bourgain。"
但就是那场持续数周的苦战，让他真正看懂了Bourgain是怎么思考问题的。他说，这本破破烂烂的旧书，是他最珍视的数学财产——因为如果当年有AI直接把答案递到他手上，这场苦战就不会发生，那个"看懂Bourgain"的陶哲轩，也不会存在。
困难不是学习的代价，困难就是学习本身。
现在，这个"困难"正在从一代人的学习中被移除。学生问AI，AI给答案；研究者问AI，AI给证明。结果越来越便宜，过程越来越稀缺。陶哲轩管这叫"认知饮食"——结果只是食物，过程才是消化能力。一个只吃现成答案的人，消化能力会萎缩；一个只收现成证明的学科，也是。
过程比结果重要吗？这个问题，在数学上其实有答案。
一个证明，AI可以验证它对错。但"理解"这件事，没法外包——它只能长在某个人的头脑里，而长出来的唯一方式，就是亲自走那段路。
爬山和坐直升机，都能到山顶。但只有爬山的人，认得路。
陶哲轩给学生的建议因此非常"反动"：先自己写猜想、自己碰壁，再让AI提方案；让AI当陪练和审稿人，别让它当拐杖。他说AI像做菜时的香草精——几滴提味，倒一瓶下去，菜就毁了。
所以你看，数学家们抵制的从来不是AI，而是"只有结果、没有过程"的生产方式。722份手稿堆在那里，正确与否尚且存疑——OpenAI自己都承认部分结果"可能存在问题"。一堆没人理解的正确答案，等于没有答案。
人类花了三千年，把数学建成一座每块砖都被理解的大厦。现在有人往楼顶疯狂加盖，用的是没人看得懂的砖。
楼会塌的，不是今天，但总有一天。
你最近一次"没抄近道"是什么时候？
一道自己硬算出来的题，一篇从头读完的长文，一段没开导航的路——那种"笨办法"走完之后的踏实感，你还记得吗？评论区聊聊。
陶哲轩 #OpenAI #人工智能 #数学 #深度思考 #AI玩读 #认知