二十五个菲尔兹奖得主，联名写了封公开信。
菲尔兹奖就是数学界最负盛名的奖项。所以这二十五个人，基本就是当今数学界能凑出来的最强阵容。他们联名说的事只有一件：AI 实验室在威胁他们的智力劳动。
起因不复杂。这周纽约大学的 Tristan Buckmaster 教授公开指责 OpenAI 施压，让他不要给一位合作者署名——那位合作者在 Anthropic 上班，参与解决了一个重要的数学问题。他还怀疑，OpenAI 是不是拿他们用 Codex 做出来的东西，在一个马拉松式的推理周末里，炮制出了自己的那份突破性证明。周四，OpenAI 撤回了对加州理工一个数学活动的赞助，因为之前被这所学校的研究员批评过。
公开信里那段话我觉得写得挺实在。大意是：这些解法往往是匆忙宣布的，没时间好好写出来，没时间把新方法新思路单独拎出来，也没时间引用别人之前的相关工作。而且 OpenAI 那份证明到现在还没被验证过。他们接着说，这就像所有创造性行业一样，会带来严重的署名和抄袭问题。更要紧的是后半句——如果没有那些愿意花力气把这些东西整理进数学正典的数学家，AI 想出来的点子永远不会真正活过来，数学家之间那条人类传承链就断了。
我读到这里才反应过来他们真正在怕什么。不是怕 AI 解出题，是怕解题这件事变成一次竞赛。今天只要哪个前沿实验室看到一条有用的路径，就能砸几千万美元，用大模型抢在原来那批研究者前面把证明做出来。这么一来，谁还敢公开自己在做什么。开放研究的文化就是这么一点点没的。
信里最后还提了一句，说数学界现在碰上的问题，别的科学和创造性行业也在碰上，而且预示了全人类可能都要面对的问题。这话听着像客套，但六月一个数学家工作组已经出过一份《莱顿宣言》，专门讨论大模型证明会怎么改变数学这行，还给数学家、机构、政策制定者列了建议。所以这不是临时起意。
顺带说一句，你要是不关心数学证明这个圈子，就记住那句——下一个轮到你的领域。