25个山顶的人联名：AI正在废掉人的思考
9月11日，陶哲轩在博客贴出《人工智能在数学中的严重错位》，下面25个签名，全是菲尔兹奖得主。菲尔兹奖就是数学的诺奖，每四年最多四人、四十岁以下。从1978年德利涅到今年刚拿奖的邓煜，25个名字横跨近半世纪。你先掂量分量——这不是边缘人发牢骚，是半壁江山在敲警钟。
他们可能错了，但是你要是说这群人是为了保护数学圈子，自娱自乐，防止自己贬值，那就实在太看不起人了。
你若以为是老学究抗拒新技术，就错了。发起人就有陶哲轩，日常拿AI辅助形式化证明，连他都站批评者一边。邓煜2026新科，梅纳德2022，正当打。站在山顶的人联名图什么？名不缺，利换不来钱，图的是怕后来者走歪。信开篇就说：不反AI，反的是把解题当模型能力标杆。你见过真正酸的人怎么说话？冷嘲热讽、唱衰、把成就说成运气。这25个没有。他们把"AI有潜力"写最前面，坦坦荡荡。但是这份坦荡，正因为他们功成名就，用不着靠踩技术抬自己。
导火索：9月8日OpenAI称用约一万个智能体、88小时拿下纳维-斯托克斯方程，千禧年七大难题之一，2000年克雷所悬赏100万美元。但是数学界连正式认可都没给，OpenAI自己也没去领那100万——你猜，是题真解了，还是榜真刷了？难题是路标不是终点，最珍贵的是证明过程里的新思路，写进教材传几代人。AI仓促产出的证明，不梳理不引用，直接躺进文档。理解要一代代人慢慢磨，88小时刷不出来。
最该记住的一刀：AI让人不再思考。斯米尔诺夫讲，他一学者朋友用AI出习题一年，自己解学生题的能力都变差了。学生直接跟AI要证明，苦苦挣扎自己撞墙找答案的过程没了——而那过程才是数学训练本身。但是学生最危险：平台把秒出答案当卖点，孩子伸手就接，脑子的筋就懒了。你以为省的是一道题？你丢的是一辈子想问题的能力。斯米尔诺夫说，多数学生其实意识到这风险，会自己先试着解，只把AI当提示。但是成年人呢？多少上班族连提示都懒得给，直接复制粘贴交差。你省的那点功夫，迟早连本带利还回去。
再深一层：AI只会解题，不会提问。斯米尔诺夫答得干脆：AI本身真产生新想法吗？目前看，否定。数学进步是有人先提出对的问题，那是人类的活儿。AI是推土机，不是探路者。但是推土机再多，也替你指不了方向。没有数学家消化整合，AI的想法活不过来，传承链会断。你真以为AI能把数学续上？它连"接下来该问什么"都答不上来。
这件事早超出数学。写作、艺术、理论科学，迟早面对同一道题：AI直接给成品，你拿什么守住思考和传承？山顶的人先替所有人拉了警报。他们不缺名不缺利，怕的只是你连"想"这个动作都懒得做了。你别拿"我常识够用就行"当借口。深度思考不是数学家的专利，是你每天做判断、辨真假、做选择的地基。地基让机器替你挖，上面盖什么都是空中楼阁。
信末一句沉：AI造福还是破坏数学，决定权在人不在模型。你可以让AI替你解题，但是你绝不能让AI替你想。想，是人与生俱来的特权，别那么爽快地交出去。