OpenAI刚刚宣称了一项重大的数学发现。部分学术界人士质疑其正当性。

# OpenAI声称实现重大数学突破，部分学者质疑其做法 来源：https://www.wired.com/story/openai-navier-stokes-math-discovery-academics/ OpenAI今日宣布，其人工智能系统已为数学界长期悬而未决的重大难题（https://www.wired.com/story/a-new-ai-math-ai-startup-just-cracked-4-previously-unsolved-problems/）——一个描述水、空气等流体自然运动规律的200年历史方程——找到了AI生成的解。 这一声明似乎展示了AI推动数学发展的惊人能力，但争议随之而来。数学家特里斯坦·巴克马斯特指控OpenAI在获悉他与另一位数学家的研究进展后，抢先着手解决问题，并试图影响成果的归属权。 该证明涉及纳维-斯托克斯方程，这是克雷数学研究所千禧年大奖难题（https://www.claymath.org/millennium/navier-stokes-equation/）中尚未解决的问题之一，每个奖项价值100万美元。 OpenAI数学家兼AI研究员塞巴斯蒂安·贝克在媒体简报中透露，公司于8月28日开始训练具备高级数学能力的新AI模型。在听闻Anthropic公司正推进纳维-斯托克斯方程研究的传闻后，OpenAI决定投入更多资源攻克该难题。超过1000个智能体经50余小时运算，最终形成解决方案（https://openai.com/index/navier-stokes-solution/）。 “我当时认为必定存在某些错误，”贝克表示，“但到周日凌晨，我们已完成最终解，并通过Lean完成了形式化验证。”（Lean是一种可用于数学证明形式化处理的编程语言。） OpenAI特别指出，解决该问题所需的计算资源远超其以往数学研究投入。研究主管马克·陈透露，成本“高达数百万美元”。 周一，纽约大学数学家巴克马斯特与Anthropic研究员莱文特·阿尔珀杰发布了文件（https://mastodon.social/@tristanbuckmaster/117233413705701198），声称在纳维-斯托克斯相关领域取得关键进展。他们表示借助Claude、Codex等多个AI模型完成了这项工作。 巴克马斯特在声明（https://cims.nyu.edu/~tristanb/statement.pdf）中进一步指控：上周他得知OpenAI已关注到其与阿尔珀杰的研究，并开始投入大量资源攻关。他声称曾询问OpenAI高层是否访问了两人的Codex操作记录，得到的答复是模型“不会查看用户数据”，但对于训练数据相关问题未获回应。他还称OpenAI提出了若干“解决方案”，其中包括由巴克马斯特发表论文宣布纳维-斯托克斯问题已被OpenAI内部模型攻克，但论文不包含阿尔珀杰的名字。 巴克马斯特、阿尔珀杰及Anthropic公司均未立即回应《连线》杂志的置评请求。 在简报会上，贝克及其他OpenAI高管坚决否认曾通过查阅两人Codex提示词获取研究灵感。“无论是研究人员还是AI智能体，在昨晚成果公开发布前都未曾接触过他们的任何工作，”贝克强调。 “我们明确承认莱文特·阿尔珀杰与特里斯坦·巴克马斯特在非强迫欧拉方程研究上的优先权，并为这一里程碑式的成就向他们致以诚挚祝贺。需要明确说明的是，我们既未使用他们的提示词，也未参考其证明过程来指导我们的模型或智能体，”贝克补充道。 OpenAI今日表示希望认可阿尔珀杰与巴克马斯特的前期工作，但公司数学家文·钱德拉塞卡兰强调，OpenAI模型的解决方案与之存在本质区别。 这场关于数学重大难题贡献归属的争议可能持续发酵。随着AI在证明发现工作中扮演越来越重要的角色，类似争论或将日益常见。 *本文持续更新中，请关注后续进展。*