OpenAI称破解千禧年数学难题 引发优先权争议

Daphane

來源:大紀元



2024年2月26日，在西班牙巴塞罗纳举行的世界移动通信大会（Mobile World Congress，简称MWC）上，一位参观者正在查看手机旁边的OpenAI标志。(Pau Barrena/AFP via Getty Images)

【大纪元2026年09月10日讯】（大纪元记者吴瑞昌综合报导）周二（9月8日），OpenAI宣布，旗下尚未公开的内部AI模型在消耗数百万美元的运算资源后，破解了困扰人类近一世纪的“纳维-斯托克斯方程”（Navier-Stokes equations）的部分问题。不过，这项说法随即引发学术界与竞争对手在成果优先权方面的争议。OpenAI同时明确表示，不打算申请克雷数学研究所提供的100万美元奖金。

1万个AI代理在88小时内得出证明

据OpenAI研究团队在官方声明中表示，团队使用一套比GPT-6 Astra模型更强大的内部AI模型，动用约1万个AI代理（能够自主运作的程式），历时约88小时得出“纳维-斯托克斯”方程的证明。

声明还提到，整个解题过程中，AI代理之间交换了约270万条讯息，消耗约3000亿个输出词元（token），并额外花费17小时通过GPT-6 Astra完成严格的电脑形式化验证。

OpenAI首席研究长陈信翰（Mark Chen）表示，这次AI的运算成本“高达数百万美元”，并称这是AI研究的重大里程碑，“希望未来AI破解更多难题。”

OpenAI研究人员布贝克（Sebastien Bubeck）补充说，这次耗费的算力成本是过去解决数学问题的1,000倍。

成果归属争议

OpenAI的这项声明随即引发争议。

就在OpenAI发表成果的数小时前，纽约大学（New York University）教授、数学家特里斯坦‧巴克马斯特（Tristan Buckmaster）与Anthropic公司研究人员莱文特‧阿尔波格（Levent Alpoge）公开了三篇论文，借助AI解决了流体方程的简化版本（包括强制欧拉方程等）。

随后，巴克马斯特公开质疑OpenAI的研究成果。他指出，研究过程中曾将成果存放在OpenAI用于编写电脑程式的Codex工具中，他认为OpenAI团队是在得知他们的研究后才加速取得突破的。

他强调，“我没有指责任何人，但我不知道他们的AI做了什么，也不知道他们是如何做到的，同时也不知道他们是否使用了我们的数据成果。”

面对质疑，布贝克公开否认OpenAI曾接触过这对搭档的研究成果或存取了与OpenAI服务器共享的资料，也未调用其提示词。

周三（9月9日），OpenAI在社群平台X上的官方声明中语带保留地表示，“虽然可能性不大，但我们无法排除使用者在用我们产品时产生的资料可能有助于改进我们的模型。”

OpenAI同时强调，双方的证明方法存在显著差异，尤其在欧拉方程（Euler equations，强制与非强制版本）问题上所证明的具体结果也不同。

欧拉方程是流体力学中将水、空气等视为没有黏性，它又是纳维-斯托克斯方程式的简化版。纳维-斯托克斯方程式将水、空气等视为有黏性。

纳维-斯托克斯方程式的起源

“纳维-斯托克斯”方程是美国克雷数学研究所（Clay Mathematics Institute）于2000年公布的7个千禧年数学难题之一，目前剩余6题未解，每解开一题可获高达100万美元的奖金。

“纳维-斯托克斯”方程式自19世纪被提出以来，一直是人类研究飞机设计、天气预报和血液流动等研究领域的基石。这套将流体视为连续介质的方程式，物理学界一直在探索其在极端条件下能否永久适用。

OpenAI的研究表明，在特定条件下，该方程式会随着时间推移“失效”，包括原本完全正常的平滑流体，可形成高速旋转且不断拉长的涡旋，最后会在有限时间内速度变成“无穷大”，因此该方程式无法完全可靠地反映物理现实。这项证明已通过Lean程式语言完成形式化验证。

克雷数学研究所：结果需获得验证 才会发放奖金

根据奖项规则，OpenAI的这项公开证明必须先发表在科学期刊上，并获得数学界确认两年后，克雷数学研究所才能召集委员会进行审议，评议通过才会发放奖金。

克雷数学研究所所长马丁‧布里德森（Martin Bridson）教授表示，“在我们审视这项人类对数学理解取得重大进展的公告时，这是令人兴奋的一天。”他也强调，“我们评估过程不能急于求成，将确保审议过程的绝对严谨。”

OpenAI则明确表示，不打算申请这笔奖金，仅将此结果视为展示AI模型快速进步的里程碑。