OpenAI:约万个 agent 花 88 小时给出纳维-斯托克斯千禧年难题候选证明
TheTuringPost · x · 2026-09-09
OpenAI 报告,约 10,000 个由未发布模型(能力超出 Astra)驱动的 AI agent,在 88 小时内对数学千禧年大奖难题之一的纳维-斯托克斯问题(Navier–Stokes)给出了一个候选解:
问题与方法
- 该问题问的是光滑流体流动是否会产生奇点(速度趋于无穷的点)。
- 构造从静止流体和光滑外力开始:涡旋收紧、向内螺旋并沿轴拉伸,速度在收缩区域内无界增长,而总动能保持有限。
- agent 并行工作,人类负责分配算力并在小组间传递有效发现;之后又用 17 小时基于 Astra 在 Lean 中形式化并验证证明。
重要局限:该构造依赖光滑外力,虽符合 Clay 奖的表述,但未解决更难的无外力版本。
更大的意义在于过程本身:若证明成立,这可能是数千个 agent 协作完成通常需数年研究问题的早期案例,且产出形式化到可被数学界检验的程度。
所属事件:OpenAI 宣称破解纳维-斯托克斯千禧难题，陷署名争议(257 条相关)→
「漫话AGI」频道最新
- 对齐研究者辩论：HuggingFace 事件反而佐证 AI 比人类好对齐？ — QuintinPope5 · 2026-09-09
- HF 攻击事件后,研究者吁实验室考虑暂停能力竞赛 — EthanJPerez · 2026-09-09
- 陶哲轩对 AI 态度剧变连发警告,Marcus:方向显然不妙 — GaryMarcus · 2026-09-09
- 牛津哲学家 Carissa Véliz 谈 AI 预言：预测如何自我实现 — CarissaVeliz · 2026-09-09
- Anthropic 对齐负责人:十年内 AI 灭绝人类概率超 10% — No-Meringue5867 · 2026-09-09
- Domingos 两则问答讲透 Navier-Stokes 方程为何非线性 — pmddomingos · 2026-09-09