AI攻克数学难题引发学术争议

近日，一场围绕人工智能与数学研究优先权的争议浮出水面。纽约大学数学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge合作，借助AI模型完成了理论数学领域一项重要未解问题的初步进展。然而，OpenAI几乎同时宣布了该问题的完整证明，且时间线高度关联，引发抄袭与“截胡”质疑。

此次涉及的纳维-斯托克斯存在性与光滑性问题，是克雷数学研究所列出的七个“千禧年大奖难题”之一。该问题长期困扰数学物理界，若被解决，将深刻改变人类对流体力学及相关数学物理体系的理解。克雷数学研究所为每个问题设立了100万美元奖金。

据Buckmaster声明，他与Alpöge使用Codex和Claude模型完成初步成果后，发现其研究进展信息已传至OpenAI。随后，OpenAI告知他们，其内部团队已完成完整证明。但关于研究启动时间和人工参与程度，OpenAI的回应却含糊其辞。最终确认，OpenAI发送第一条提示词发生在Buckmaster与Alpöge的研究信息传出之后，且OpenAI动用了“数量惊人的计算资源”。

OpenAI随后发布的文章基本证实了时间线，称其最新一轮研究始于9月1日，受“两项千禧年大奖难题已被解决”的传闻启发。该证明由一个尚未发布的新一代模型完成，计算过程消耗约3000亿个输出Token，按Astra价格计算，资源成本约为2250万美元。

争议焦点之一在于研究方法的高度相似。Buckmaster指出，他们采用的具体路径并非主流方向，能够想到的人极少。“这并不是一个人把问题陈述交给模型后，仅仅几天时间就能自然想到的方向。”他怀疑OpenAI可能通过其Codex交互数据获取了研究思路。

OpenAI对此回应称，在Buckmaster公开发布成果前，其研究人员和智能体没有以任何方式看到对方的工作，也未访问特定用户数据。但同时承认无法排除产品使用过程中产生的去标识化数据帮助改进模型的可能性。OpenAI强调，其证明与对方成果存在显著差异，即使对欧拉方程的处理也各不相同。

此外，Buckmaster指称，OpenAI研究员Sébastien Bubeck曾要求他在折中方案中删除Alpöge的署名，并以“毁掉职业生涯”相胁。由于Alpöge受雇于Anthropic，这场争议也反映出OpenAI与竞争对手之间的紧张关系。

这一事件深刻揭示了AI在数学研究中所扮演角色的复杂性。一方面，AI展现出解决超难问题的潜力；另一方面，训练数据可复现性、研究伦理及学术优先权问题也日益凸显。Buckmaster表示，最好的解决办法就是尽可能公开所有信息，让公众了解整个研究过程。