OpenAI宣称破解纳维-斯托克斯方程，学界质疑其抢先与署名争议
OpenAI宣布其AI模型解决了数学界长期未解的纳维-斯托克斯方程，但数学家Tristan Buckmaster指控OpenAI在得知其与同事的研究进展后抢先行动，并试图影响署名。OpenAI否认相关指控，但承认无法排除其产品数据被用于改进模型的可能性。
核心事实
OpenAI于本周一宣布，其AI模型成功找到了纳维-斯托克斯方程（描述流体运动规律的200年历史方程）的解决方案。该方程是克莱数学研究所七个千禧年大奖难题之一，每个难题悬赏100万美元。OpenAI数学家Sebastien Bubeck在新闻发布会上表示，公司于8月28日开始训练一个具备高级数学能力的新AI模型，在投入超过1000个智能体、耗时50多小时后，最终发现解决方案，并已通过Lean编程语言完成形式化验证。OpenAI研究主管Mark Chen透露，此次计算成本高达“数百万美元”。
背景与影响
然而，这一突破性成果被署名争议蒙上阴影。数学家Tristan Buckmaster（纽约大学）与Anthropic研究员Levent Alpöge于同日发布文件，声称在纳维-斯托克斯相关领域取得关键进展，并使用了包括Claude和Codex在内的多个AI模型。Buckmaster指控OpenAI在得知他们的工作后，匆忙投入资源抢先解题，并试图在发表论文时排除Alpöge的署名。OpenAI CEO Sam Altman已介入辩护，Bubeck则否认公司曾查看两人的Codex提示词或试图移除署名，但OpenAI在博客中承认“虽然不太可能，但无法排除其产品使用中产生的去标识化数据帮助改进了模型”。这场关于数学发现优先权的争议可能持续，随着AI在数学证明中扮演更重要角色，类似纠纷或将成为常态。
限制与来源
上述信息基于WIRED报道，截至发稿时，Buckmaster、Alpöge及Anthropic尚未回应置评请求。OpenAI的解决方案尚未经过同行评审，其数学正确性及与Buckmaster等人工作的具体关系有待进一步验证。关于计算成本、时间线及署名争议的细节均来自相关方声明，尚未有独立证实。更多详情请参阅WIRED原文及OpenAI官方博客。