EVENT DOSSIER
OpenAI 宣布解决纳维 - 斯托克斯难题但面临奖金归属争议
2026 年 9 月 8 日，OpenAI 宣布其未公开的内部 AI 模型在约 88 小时内协作完成了纳维 - 斯托克斯存在性与光滑性问题的证明。该研究指出，在外力光滑条件下，初始平滑流体可能于有限时间内形成速度无限增长的奇点，并由 GPT-6 Astra 使用 Lean 语言进行了形式化验证，相关研究耗资约 1500 万至 2250 万美元。尽管 OpenAI 首席研究员马克·陈表示无人或 AI 系统搜索用户数据，且否认访问用户数据，但承认匿名化产品数据可能有助模型改进；纽约大学教授巴克马斯特等人则质疑其数据使用合规性及论文严谨性，认为相关研究未能充分证明解的存在与唯一性。目前，美国国家科学基金会设立的百万美元奖金仍悬而未决，等待真正的突破性成果及争议解决。
AI · 中外媒体跨 2 天
OpenAI 宣布解决纳维 - 斯托克斯难题但面临奖金归属争议
NYU 数学家质疑 OpenAI 在争夺一百万美元奖金时的手段，认为其论文未充分证明解的存在与唯一性；OpenAI 首席研究员马克·陈回应无人或 AI 系统搜索用户数据。
2 条报道OpenAI 宣布其未公开 AI 模型在约 88 小时内完成证明，经 GPT-6 Astra 用 Lean 语言在 17 小时内形式化验证，研究耗资约 1500 万至 2250 万美元。
OpenAI 称其内部模型证明了三维纳维 - 斯托克斯方程可在有限时间内产生奇点，该历史性数学突破因外部数学家未发表研究引发的争议而受到关注。纽约大学数学家特里斯顿·巴克马斯特和 Anthropic 研究员莱文特·阿尔波格此前正在从事相关流体力学研究。OpenAI 首席研究员马克·陈表示，无人或 AI 系统搜索用户数据来解决问题，并对相关指控感到失望。OpenAI 表示无意宣称获得 100 万美元千禧年大奖，而是将此结果视为其前沿模型快速进步的证据。
纽约大学数学家称 OpenAI 在争夺一百万美元奖金的纳维 - 斯托克斯方程存在性与光滑性问题解决方案时采取了不正当手段。该问题由美国国家科学基金会设立，旨在奖励首位提供该数学难题解法的人。OpenAI 曾宣称其模型已解决此问题，但 NYU 数学家质疑其方法的严谨性，认为相关论文未能充分证明解的存在与唯一性。目前该奖金仍悬而未决，等待真正的突破性成果。
2026 年 9 月 8 日，OpenAI 宣布其未公开 AI 模型在约 88 小时内协作完成纳维 - 斯托克斯存在性与光滑性问题的证明。该证明指出，在外力光滑条件下，初始平滑流体可能于有限时间内形成速度无限增长的奇点，并经 GPT-6 Astra 用 Lean 语言在 17 小时内形式化验证。研究耗资约 1500 万至 2250 万美元。纽约大学教授巴克马斯特等质疑数据使用合规性，OpenAI 否认访问用户数据，但承认匿名化产品数据或有助模型改进。