OpenAI 本周宣布，其通过调度约 1 万个 AI 智能体进行长达 88 小时的持续攻坚，于 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。若该结果得到数学界确认，将标志着 AI 首次解决一个重大数学难题。但这一声明随即在数学界引发争议，核心焦点在于 OpenAI 是否利用了他人尚未公开发表的研究成果。
Navier-Stokes 方程由法国物理学家克劳德-路易·纳维和爱尔兰物理学家乔治·斯托克斯于约 200 年前提出，是一组描述液体、空气等流体运动的偏微分方程，至今仍被广泛使用。该方程并不保证适用于所有可能情况，数十年来数学家一直试图证明其普适性，或寻找导致方程失效的特例。2000 年，克雷数学研究所将 Navier-Stokes 方程列为六大千禧年数学问题之一，并悬赏 100 万美元征集解答。
据 OpenAI 披露的信息，此次攻坚行动投入了数百万美元算力，动用约 1 万个 AI 智能体协同工作，持续时间达 88 小时。公司称，智能体在 9 月 5 日定位到一个方程失效的特例。OpenAI 方面表示，其行动未利用纽约大学数学家 Tristan Buckmaster 和 Anthropic 研究员 Levent Alpöge 的最新研究成果。
但 Buckmaster 公开发表声明，对 OpenAI 的说法提出质疑。过去一个月，Buckmaster 与 Alpöge 利用来自 OpenAI 和 Anthropic 的 AI 工具，在 Navier-Stokes 问题上取得了重大进展，并准备公布研究成果。就在这一节点之前，OpenAI 投入大规模算力开展了上述攻坚行动。纽约大学团队指控 OpenAI 抓取了他们的数据并输入其模型。
这一争议触及 AI 辅助数学研究中的成果归属与数据使用边界问题。一方面，AI 工具正在成为数学研究的基础设施，研究者使用商业大模型推进前沿问题已成常态；另一方面，当模型提供方同时是研究竞赛的参与者时，训练数据与用户交互数据的边界变得模糊。若 Buckmaster 团队的指控成立，OpenAI 的攻坚行动可能建立在未公开的同行成果之上，其“首次解决重大数学难题”的声明将面临根本性质疑。
截至目前，OpenAI 未就数据抓取的具体指控作出进一步回应。Navier-Stokes 方程失效特例是否成立，仍需数学界同行评议确认。无论结果如何，此次事件已暴露出 AI 企业与学术研究者之间在数据使用、成果发表时序和优先权认定上的制度空白。对于正在加速进入基础科学研究领域的 AI 行业而言，建立可追溯的数据来源与成果归属机制，可能比单次攻坚的技术突破更具长期意义。
该文观点仅代表作者本人，企服科学平台仅提供信息存储空间服务。
