OpenAI 万个 Agent 88 小时解决纳维-斯托克斯难题，陷署名风暴
新智元 · wechat · 2026-09-09
OpenAI 宣布解决千禧年难题
OpenAI 宣布其内部模型生成了纳维-斯托克斯方程存在性与光滑性问题的完整证明，并通过 Lean 形式化验证，这是千禧年七大数学难题中第二个被解决的问题（此前仅庞加莱猜想被解决）。
- 证明内容：构造了一种特殊涡旋流，流体速度在有限时间内趋于无穷（形成奇点），动能保持有界，对应克雷难题的备选 C/D。论文 165 页，署名只有 OpenAI。
- 过程：约 1 万个并发 Agent 协作，从 9 月 1 日启动，先用约 100 个 Agent 花 50 小时解决无外力 Euler 方程爆破问题作为跳板，88 小时后得到最终突破；共 270 万条消息、约 1300 亿输出 Token，算力成本数百万美元；GPT-6 Astra 花 17 小时完成 Lean 验证。
- 署名风暴：纽约大学数学家 Buckmaster 与 Anthropic 研究员 Levent Alpöge 此前已用 LLM 解决多孔介质方程、Boussinesq 方程及有外力 Euler 方程爆破（获陶哲轩认可）。Buckmaster 指控 OpenAI 在得知其工作后才启动项目，且 Bubeck 要求将 Anthropic 员工 Levent 移出署名，并说出「你为什么要毁掉自己的职业生涯」等施压话语。
- 双方各执一词：Bubeck 承认措辞不当但否认抢工作，称是为协调发布；奥特曼力挺团队，Mark Chen 否认偷看对方成果，但承认不能完全排除脱敏数据间接帮助的可能。
- 深层问题：克雷认定需期刊发表与两年学界接受期，AI 生成、公司署名的证明对现行学术规范构成直接挑战——机器给出的正确证明是否等同于数学家的证明？
所属事件:OpenAI 宣称破解纳维-斯托克斯千禧难题引争议(243 条相关)→
「公司和人」频道最新
- Lenny 转述：当下稀缺的 PM 技能是激发他人的雄心 — lennysan · 2026-09-09
- a16z 合伙人:AI 不会造永久失业底层,agent 仍需人类爬坡 — lennysan · 2026-09-09
- 复盘 Cursor 逆袭:发布速度曾击穿 GitHub 护城河,如今无人再配叫 SOTA — pzakin · 2026-09-09
- Alexandr Wang 吹自家 Muse:比其他个人 Agent 更快更「好看」 — mon__lim · 2026-09-09
- 研究项目该不该注册成组织？四个理由说服你成立正式机构 — AaronBergman18 · 2026-09-09
- 研究者警告：勿在非本地 LLM 中输入商业机密，提示词或被监测挖掘 — SumitGup · 2026-09-09