资讯
OpenAI 用万名 agent 解 Navier–Stokes 千禧年难题（88 小时）
一句话：9 月 8 日，OpenAI 称其内部模型调用约 1 万个 agent、耗时 88 小时「解决」纳维-斯托克斯方程的存在性与光滑性千禧年难题，并给出 Lean 形式化验证，引发数学界关于署名与优先权的激烈争论。
背景
- N-S 方程描述流体运动，2000 年被克雷数学研究所列为七大千禧年大奖难题之一（悬赏 $100 万）；NYU 的 Buckmaster 与 Anthropic 的 Alpöge 此前已取得关键进展。
核心要点
- OpenAI 称约 1 万 agent、88 小时产出 NS 奇点存在性证明，并附 Lean 形式化验证。
- 争议：Buckmaster 指控 OpenAI 在其公开成果前后介入，并疑模型「偷看」未发表草稿；OpenAI 否认但承认无法完全排除用户数据间接作用。
- 后续：OpenAI 转向 Hodge 猜想、BSD 猜想，并据称尝试黎曼猜想与 P vs NP。
- 学界尚未正式认可该证明，CMI 悬赏亦无申领计划。
为什么重要
- 这是 AI 首次以「大规模 agent 协作」冲击基础数学最难题之一，检验了形式化验证与自主科研的边界。
- 署名、优先权与数据伦理之争，直接催生了 25 位菲尔兹奖得主的联名反对（见安全与治理 #3）。
关键事实速记
- 宣称：2026-09-08
- 规模：~1万 agent / 88h
- 对象：N-S 方程（千禧年难题）
- 状态：学界未认可
📂 原文链接：查看原文 →
← 返回资讯列表
AI8899 · 内容仅供学习参考