25位菲尔兹奖得主联署警告AI实验室正在威胁数学家的智力劳动

二十五位菲尔兹奖得主签署公开信，指人工智能实验室为争先公布著名数学问题的解答，正在威胁数学家的智力劳动。每位署名者均获该领域最高奖。

信中写：解答常被仓促宣布，没有时间写出完整论文、分离新方法并引用前人；这在所有创造性职业中都会引发归属与剽窃问题。若没有愿意把新想法写入数学经典并完成人类传授链条的数学家，人工智能构思的点子无法真正活过来。署名者认为，模型若能解开悬而未决的难题可以造福人类，前提是解法能被数学共同体理解并传播。公开报道点名署名者包括Terence Tao、Artur Avila、Manjul Bhargava等。

导火索是同一周的优先权冲突。纽约大学教授Tristan Buckmaster指责OpenAI施压他不要致谢一位在Anthropic任职的合作者，并质疑公司是否借助他们与Codex的工作、用马拉松式推理跑出自己的突破性证明。OpenAI随后公布对纳维－斯托克斯存在与光滑性这一千禧年大奖难题的完整证明，称由未发布的下一代模型在约一周内完成，消耗约3000亿输出token。Buckmaster团队此前宣布朝该问题推进的三项证明。OpenAI还在加州理工学院数学活动遭校内研究者批评后撤回赞助。今年6月已有《莱顿宣言》要求数学家、机构与政府约束人工智能在研究中的用法，并获国际数学联盟等背书。

实验室把未验证的证明当成能力广告；数学家把未完成的写稿与引用当成学科存活条件。千禧年大奖每题奖金100万美元，但公开信争的是谁有权宣布、谁必须把方法写进可检验的文本。

市场机制上，这是声誉与训练叙事的争夺，不是奖金结算。买方是要在社交平台宣布“已解决”的模型公司；卖方是仍掌握审稿、引用与课堂传授的数学共同体。受益方是能把著名猜想写成评测与融资故事的实验室；承压方是必须在热宣布后做核验、却分不到算力预算的学者。资金从算力账单流向模型发布会，核验成本留给大学。

补充结构：OpenAI的证明仍被信中描述为未经充分验证。另有针对加州理工“数学马拉松”的联署，批评用大模型学分给学生制造不可核验的数学垃圾。

来源：公开信息