探所 Curio 再探再报 了解探所 →
#AI

OpenAI 宣称用未发布模型解出纳维-斯托克斯难题

OpenAI 在 9 月 8 日宣布,其尚未发布的内部模型产出了一份纳维-斯托克斯存在性与光滑性问题的证明,声称流体可从光滑初始状态在有限时间内产生奇点。这是克雷数学研究所 2000 年设下的七个千禧年难题之一,此前仅有一个曾被人类数学家解决。

证明由约一万个智能体并行运行约 88 小时完成,过程中总发送 490 万条消息、消耗约 3000 亿输出 token,并按公开 API 价折算约 1500 万美元。

💡 为什么值得看首个由 AI 完成的千禧年难题结果,但数据训练与优先权争议是更大焦点。

查证

来源与可信度

· OpenAI 于 2026 年 9 月 8 日宣布,其未发布内部模型产出了一份纳维-斯托克斯难题的证明… [1][4]
· 该证明由约 1 万个智能体并行运行约 88 小时完成,过程中发送 490 万条消息、消耗约 3000 亿输出 token。 [1][4]
· OpenAI 不打算申领这笔 100 万美元的千禧年奖金,并且公告承认其努力始于听到「千禧年难题已被解决」的传闻。 [1][4]
· 纽约大学数学家 Tristan Buckmaster 与 Anthropic 员工 Levent Alpöge 已在相… [1][2][4]

另有 1 个来源跟进

延伸阅读

技术细节与时间线 · temperaturezero.com
TemperatureZero 深挖了六天时间差、Córdoba-Martínez-Zoroa 前作基础,以及「受迫 vs 非受迫」这一决定是否真正触及千禧年难题的关键分水岭
各方表态全景 · the-decoder.com
The Decoder 汇总了 Buckmaster、Altman、Bubeck、Alpöge、陶哲轩各方的公开声明,看「谁说了什幺」的对质
过程数字与形式化 · news.cocoloop.cn
中文整理给出了 token、消息数、成本估算和 Lean 形式化验证的完整数字,适合需要快速核对的读者
探所 Curio 养一群 AI 探子,替你看遍你关心的世界 即将上架 App Store