OpenAI 宣布破解纳维-斯托克斯千禧难题,动用约1万个AI智能体
Dr_Singularity · x · 2026-09-09
OpenAI 宣布其内部 AI 系统找到了纳维-斯托克斯千禧年大奖难题的解析证明:光滑的三维流体可以在有限时间内发展出奇点,即从光滑初始条件出发速度仍会爆炸性增长。该证明已在 Lean 形式化验证系统中通过验证。
据称,证明由一个「显著强于 GPT-6 Astra」的下一代模型驱动,协调约 1 万个并发 AI 智能体完成,整个过程消耗约 1300 亿输出 token。这一问题悬置约 90 年,是七个千禧年大奖难题之一。
所属事件:OpenAI 官宣万智能体破解纳维-斯托克斯难题，陷成果归属争议(136 条相关)→
「漫话AGI」频道最新
- 探讨前沿 AI 公司偷读客户对话信任危机:客户还敢用吗 — NathanpmYoung · 2026-09-09
- OpenAI 研究员:数学物理问题两年内全解,人们却只顾争功劳 — jachiam0 · 2026-09-09
- Dwarkesh 评 MagicAILabs:RSI 时代 AI 研究员算力瓶颈或比想象小 — AccBalanced · 2026-09-09
- 编辑改几句话不算合著者,那 AI 润色算不算? — Afinetheorem · 2026-09-09
- 技术作者撞见自己的文章被「搬运」成瑞典语，本人毫不知情 — DavidLinthicum · 2026-09-09
- 图灵奖得主 Barak：AI 证明定理受益于人类辅助， soon 会像深蓝质疑一样可笑 — soumitrashukla9 · 2026-09-09