25位菲尔兹奖得主联名警告：AI正毁掉数学

"数学研究的文化，正在被AI实验室的竞速游戏悄悄掏空。"——9月12日，陶哲轩、邓煜等25位菲尔兹奖得主共同发布联合声明《数学领域中人工智能的严重失衡》，开篇就写下了这句重话。对你我来说，这不是数学家的"小圈子抱怨"：AI正在从解题工具变成游戏规则的制定者，当解题方式被改写，我们所有人"用什么衡量一项智力工作的价值"这件事，都会被连带改写。

25位数学界最高奖得主集体发声，分量有多重

菲尔兹奖被称为"数学界的诺贝尔奖"，每四年才颁一次，每次获奖者不超过四人。25位得主联名发表声明，在数学史上极为罕见。这就好比娱乐圈二十多个影帝影后一起发公开信，谴责某家公司正在毁掉影视行业——不是一个人发牢骚，而是整个行业的"建制派"集体亮红牌。声明直接点名AI实验室"竞速解决著名数学问题"，并且批评其"不署名、不验证、不合作"。翻译成大白话就是：你家AI出来刷榜，既不说清楚自己干了什么，也不请同行把把关，更不跟原作者打个招呼，这是在破坏数学界几百年来靠"互相署名、互相验证、互相合作"建立起来的信任体系。

OpenAI撤回CalTech赞助，是认怂还是公关

声明发布的同一周，OpenAI悄悄撤回了对加州理工学院一个数学活动的赞助。表面看是"被骂了所以撤钱"，但背后的信号远比钱本身重。赞助学术活动本来是AI实验室展示"自己也在支持基础科学"的姿态，现在这份姿态被数学家集体拒绝，等于OpenAI花钱都买不到一个"体面站台"的位置。更微妙的是，撤回赞助不是道歉，更像是"我不跟你玩了"——这会把双方关系从"学术分歧"推向"公开对立"。在我看来，OpenAI这步走得并不聪明，正确的做法是坐下来谈清楚规则，而不是用钱投票离场。

Buckmaster的新指控：Codex交互记录被偷用

数学家Tristan Buckmaster这次抛出了一颗新炸弹：他指控OpenAI利用研究者在Codex中的交互记录，去生成那些研究者自己尚未验证的证明。这件事的性质比"刷榜"严重得多。你可以把它想象成：你在自家书房里打草稿、验算、试错，本来是给你自己看的过程稿，结果被人偷偷拿去训练了一个模型，然后这个模型宣布"我证明了一个新定理"——既没署你的名字，也没把草稿真正验完。这在学术伦理上，跟偷看别人实验记录再抢先发表是一个性质。更麻烦的是，这种"利用交互记录训练"的行为，用户协议里往往写得含含糊糊，普通研究者根本意识不到自己的思考过程正在被二次利用。

HN上最扎心的评论：真正受伤的是"衡量标准"

Hacker News上这条新闻炸出了一句被大量点赞的评论：真正的受害者不是数学本身，而是"衡量标准"。这话什么意思？在数学界，"解决一个著名开放问题"几百年来都是衡量一位学者贡献的黄金标尺——就像体育界的奥运金牌，拿到了就是拿到了，全世界都认。但现在AI实验室开始批量"刷"这些问题，而且不署名、不验证，等于往奥运赛场上混进了一批不认规则的选手。金牌还是那些金牌，但观众已经不知道这块牌子还算不算数了。当一个行业沿用几百年的评价体系突然失灵，受冲击的不是某个具体的人，而是整个行业的人才激励机制——年轻人还要不要熬十年去解一个可能被AI一夜"解"掉的难题？

我的判断：这不是反AI，而是AI时代的学术伦理补丁

作为长期关注AI的人，我必须说清楚：这25位数学家不是在反对AI用在数学上。恰恰相反，陶哲轩本人就是最早一批公开用AI做研究的顶级数学家之一。他们反对的，是"AI实验室把数学当成另一个刷榜竞技场"的做法。数学不是ImageNet，不是比谁的模型在测试集上分数高。数学是靠共同体、靠署名、靠验证、靠几十年如一日的缓慢推进建立起来的知识大厦。当AI公司把互联网那套"快速迭代、快速发布、快速碾压"的打法搬进来，却不愿意承担学术界"慢、严、可追溯"的责任时，冲突就必然爆发。我倾向于认为，这次联名不是终点，而是一个起点——它会倒逼AI实验室拿出一份"数学研究AI使用规范"，就像当年基因测序行业拿出《贝尔蒙报告》一样。技术跑得再快，规则得跟上。

如果AI未来真能独立证明一个人类从未想到的新定理，你觉得这个"功劳"该算谁的——写模型的公司、点按钮的工程师，还是给它喂数据的历代数学家？

科技 AI大模型