菲尔兹奖得主联名质疑AI数学证明归属

二十五位菲尔兹奖得主联名签署了一封公开信，直指前沿人工智能实验室正以竞逐著名数学难题的方式，威胁数学家的智力劳动成果。菲尔兹奖被视为数学界最高荣誉，这批签署者的分量，让这封信迅速成为学术界与AI行业共同关注的焦点。

公开信的核心担忧集中在署名与抄袭问题上。信中写道，这些解法往往被仓促宣布，没有留下足够时间去做严谨的书面整理、提炼新方法与新思想，也没有引用他人此前相关的成果。而OpenAI公布的证明至今仍未经同行验证。签署者认为，这在所有创造性职业中都会引发严重的归属与剽窃疑问。更关键的是，如果没有愿意投入的数学家去负责这些想法的发展与整合，AI构想出的观念永远无法真正获得生命力，数学家之间那条关键的人类传承链条也将随之断裂。

矛盾在本周进一步激化。纽约大学教授特里斯坦·巴克马斯特指控OpenAI向他施压，要求他不要为一位在Anthropic工作的合作者记功，而这位合作者曾解决了一个重要的数学问题。他还怀疑，这家公司是否利用他们与Codex的工作成果，在一个马拉松式的推理周末中产出了自己的突破性证明。周四，OpenAI在遭到加州理工学院研究人员批评后，撤回了对该校一场数学活动的赞助。

与此同时，越来越多的数学家开始感到不安，怀疑自己对Codex的使用是否反过来被喂给了OpenAI的新模型。这种担忧指向一个现实风险：开放研究的文化可能受到侵蚀。今天，如果前沿实验室看到一条通往发现的可行路径，它们可以花费数千万美元，用大语言模型抢先于原作者拿到证明。这样的动力学将激励保密，而不是分享。

这封公开信并非孤立事件，它紧随今年六月由数学家工作组发布的莱顿宣言。那份文件同样探讨了大语言模型证明将如何改变他们的工作，并为数学家、研究机构与政策制定者提供了一组建议。两轮发声连在一起，勾勒出数学共同体对AI介入研究流程的持续关切：问题并不在于AI能否解题，而在于解题之后的知识如何被理解、被检验、被传承。

签署者并不否认，AI破解世界上尚未解决的数学难题可能造福人类，但他们强调，前提是这些解法能够被数学共同体理解并传达，最终为全世界所理解。换句话说，证明的价值不止于结论本身，还在于围绕着它的方法论沉淀与公共讨论。一个无人能读懂、无人能复现的被宣布的真理，很难真正进入数学的经典序列。

和软件工程等被AI工具改变工作流的领域一样，数学家们在工作周边的工作中找到了辩护理由：数学的价值不只是证明以及谁获得功劳，更在于那套滋养学生、发现新问题与新想法，并将其整合进更广泛人类文明的智力上层建筑。这套结构无法被一次高速推理替代，它需要时间、争论与代际传递。

信中还留下了一句给所有行业的提醒：如果你并不特别关心高风险数学证明这个残酷世界，别忘了，你所在的领域就是下一个。数学界当下面对的问题，与其他科学与创造性职业正在面对的问题相似，也预示了全人类可能面对的问题。当模型能够在极短时间内产出看似完整的成果，谁被记为发现者、谁的工作被隐去、哪些过程被省略，都会从学术细节变成普遍的行业课题。对于正在把AI工具接入研发流程的团队而言，这封公开信的真正意义或许在于：效率之外，还需要一套关于归属、验证与知识传承的新约定。