OpenAI 宣称 AI 攻克 Navier-Stokes 千禧年难题:万级 Agent 88 小时出证明
PanParagraf · x · 2026-09-09
OpenAI 官宣其系统给出 Navier–Stokes 千禧年大奖难题的解——该问题关于三维光滑流体运动的描述是否会在有限时间内破裂,悬置约 90 年,认可解的奖金为 100 万美元。
- 证明由一组协作智能体完成,使用比 GPT-6 Astra 能力显著更强的下一代模型;
- 据转发帖,过程动用约 1 万个并行智能体、88 小时、270 万条智能体间消息、1300 亿输出 token,随后由 GPT-6 Astra 花费 17 小时用 Lean 形式化验证;
- OpenAI 称证明展示了奇点在有限时间内的形成,并已公开发布;
- Clay 数学研究所目前仍将该问题列为未解决,结果尚需数学界独立评审。
若方向成立,2026 可能成为 AI 从「回答问题」转向「做出发现」的一年。
所属事件:OpenAI 宣称攻克 Navier-Stokes 千禧难题，署名争议四起(244 条相关)→
「漫话AGI」频道最新
- WSJ:Anthropic 研究员因担心失控竞赛退出 AI 行业 — Miles_Brundage · 2026-09-09
- 数学教授感慨：啃 Rudin 的苦功，今天的 AI 时代还需不需要 — doodlestein · 2026-09-09
- WSJ：Anthropic 研究员因担心 AGI 失控退出 AI 行业 — peterwildeford · 2026-09-09
- OpenAI 首席科学家：模型学会了我们尚不理解的东西 — TheTuringPost · 2026-09-09
- AI 实验室也是科学共同体成员，须遵守学术规范与致谢义务 — livgorton · 2026-09-09
- 研究员担忧：数十年学术积累沦为 AI 实验室成功的养料 — livgorton · 2026-09-09