OpenAI被指调动大批智能体88小时完成数学证明引争议

近日，纽约大学数学家特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格以个人身份合作，围绕欧拉方程和纳维-斯托克斯方程相关问题开展了近一年的研究。他们借助AI工具完成部分计算和形式化验证——形式化验证是使用Lean等程序逐步检查证明过程。两人原计划继续打磨论文，但相关研究进展在社交媒体流传后，OpenAI调动大批AI智能体集中研究同一方向，模型在88小时内给出相关证明。双方随后分别发布成果，引发学界讨论。

巴克马斯特在公开说明中质疑OpenAI介入研究的方式，并披露了双方沟通中的争执。他表示，自己的核心质疑不是OpenAI盗用了数据，而是商业公司获知研究传言后，使用巨大算力突击同一课题。OpenAI否认在成果公开前接触对方论文，也否认调取研究者的私人数据。

据介绍，这项成果涉及特定条件下的纳维-斯托克斯方程相关问题，不等于完整解决千禧年大奖难题，形式化验证也不能替代学术共同体的同行评议。这场争论并未停留在证明归属本身。包括陶哲轩在内的多位数学家随后发表公开声明，他们不反对使用AI研究数学，但反对把解决难题当成模型跑分，仓促公布答案，忽视论文写作、同行评议、成果引用和思想传承。