25位菲尔兹奖得主警告：AI用大模型抢跑著名数学难题，验证跟不上

菲尔兹奖是数学界最负盛名的奖项。25位得主签署公开信，警告AI实验室正在用大模型抢跑著名数学难题。功劳归属和成果验证，都在变得不确定。

抢在数学家前面

Tristan Buckmaster是NYU教授。他指控OpenAI施压，要求别给一位合作者署名。那位合作者在Anthropic工作，两人一起解决了一个重要数学问题。他还怀疑，OpenAI用他们和Codex做出的工作，生成了自己的重大证明。那是一场马拉松式的周末推理。

周四，OpenAI撤回了对加州理工一场数学活动的赞助。此前，该校研究人员批评过这家公司。

公开信写道，AI解决方案经常在匆忙中发布。没有时间认真撰写、提炼新方法和想法，也顾不上引用他人的相关工作。严重的归属和抄袭问题随之而来。而OpenAI的那份证明，至今没有通过验证。

看不懂的证明

签署人承认，AI解决数学难题的能力可能惠及人类。前提是，数学界乃至整个世界能理解并交流这些解决方案。

如果没有愿意接手的数学家来发展这些想法，AI构思出的东西不会真正活过来。人类数学家之间的传承链会断掉。数学的价值不只在证明和功劳归属。它还要滋养学生、发现新问题和想法，把这些融入人类文明的智力结构。

保密成为选择

猜疑正在数学家中间扩散。有人开始担心，自己用Codex的记录会不会被喂进OpenAI的新模型。开放研究的传统会因此受损。

前沿实验室只要看到一条通往发现的线索，就能花上数千万美元。然后，他们用大模型赶在原创研究者之前把证明做出来。这种机制本身就在激励保密。

不只数学的问题

这封信紧随6月数学家工作组发布的《莱顿宣言》公布。那份文件同样在讨论大模型证明会怎样改变数学家的日常工作。它向数学家、机构和政策制定者提出了建议。

签署人写道，数学界现在遇到的问题，与其他科学和创意职业相似。这也可能预示全人类都会面对的问题。AI改变工作方式时，别丢掉这项工作本来要达成的东西。