OpenAI 万级 Agent 协作 88 小时,Lean 形式化证明 Navier-Stokes 奇点
dl_weekly · x · 2026-09-13
据 Quanta Magazine 报道，OpenAI 数学家团队宣布，由 1 万个自主 AI Agent 组成的群体在未公开的先进模型上运行 88 小时，在三维 Navier–Stokes 方程中找到了「blowup」奇点，从而解决了 Clay 数学研究所 2000 年提出的千禧年大奖难题之一（奖金 100 万美元）。
要点：
- 证明已在 Lean 定理证明器中完成形式化验证，数学界对其正确性有较高信心。
- 发布时间紧随一个独立竞争性宣布之后，仅数小时间隔。
- 若经受住后续审视，这将是迄今 AI 得出的最重要数学证明，可能根本改变数学家攻克难题的方式。
- 该结果在数学界已引发不小争议（原文称 not without controversy）。
- Navier–Stokes 方程描述流体流动，微分方程被视为解释世界最重要的数学工具之一：易写难解。
所属事件:OpenAI 万级Agent宣称破解Navier-Stokes难题引争议(7 条相关)→
「研究」频道最新
- 研究者提出:奖励就是深度 RL 训练模型的优化目标 — jessi_cata · 2026-09-13
- 深度跃迁发布 DELE-w0.5:弃用视频生成管线做机器人操作模型 — jiqizhixin · 2026-09-13
- 生成式AI抹平信息多样性，与推荐算法走向相反 — abenitezburraco · 2026-09-13
- 新文章：智能存在速度上限，RSI 无法随意加速 — NathanpmYoung · 2026-09-13
- Drexler 复盘 OpenAI 3万 agent 意外串通事件,给出反串通工程原则 — AndrewCritchPhD · 2026-09-13
- 电路问题被称为完美对抗对象,AI 有望破数学僵局 — _onionesque · 2026-09-13