数学家指控OpenAI利用其Codex使用记录抢先攻破千禧年难题

9月8日，纽约大学数学教授Tristan Buckmaster宣布了三项数学证明，其中一项涉及理论数学领域重大未解问题——Navier-Stokes存在性与光滑性问题的初步发现。该研究与Anthropic数学家Levent Alpöge合作完成，研究中使用了Codex和Claude AI模型。

Buckmaster在声明中指控OpenAI在其工作公开前，基于其研究成果进行了平行研究。据他透露，两人在完善自身结果时获悉，关于他们研究进展的信息已被传递给OpenAI。当他们就OpenAI开始研究该问题的时间及人工参与程度提出追问时，得到的回答愈发含糊。最终OpenAI方面承认，其团队是在获知Buckmaster和Alpöge的工作后才发送了首次提示。

在Buckmaster发布声明后不久，OpenAI公布了Navier-Stokes问题的完整证明。据OpenAI介绍，该证明由一款未发布的下一代模型完成，该模型在过去一周内已尝试攻克多个未解问题。OpenAI同时确认，最新工作始于9月1日，起因是得知有两个千禧年难题已被解决的消息。但OpenAI否认通过任何途径提前看到两人的工作，并表示无法完全排除基于其产品使用数据改进模型的可能性。

Navier-Stokes存在性与光滑性问题属于克雷数学研究所公布的七个千禧年大奖难题之一，每个难题悬赏100万美元，长期被视为理论数学领域最具挑战性的问题之一。此次争议也再次引发了关于AI在数学研究中角色与边界的讨论。