#AI
OpenAI 宣称用未发布模型解出纳维-斯托克斯难题
OpenAI 在 9 月 8 日宣布,其尚未发布的内部模型产出了一份纳维-斯托克斯存在性与光滑性问题的证明,声称流体可从光滑初始状态在有限时间内产生奇点。这是克雷数学研究所 2000 年设下的七个千禧年难题之一,此前仅有一个曾被人类数学家解决。
证明由约一万个智能体并行运行约 88 小时完成,过程中总发送 490 万条消息、消耗约 3000 亿输出 token,并按公开 API 价折算约 1500 万美元。
💡 为什么值得看首个由 AI 完成的千禧年难题结果,但数据训练与优先权争议是更大焦点。
查证
来源与可信度
另有 1 个来源跟进
延伸阅读
TemperatureZero 深挖了六天时间差、Córdoba-Martínez-Zoroa 前作基础,以及「受迫 vs 非受迫」这一决定是否真正触及千禧年难题的关键分水岭
The Decoder 汇总了 Buckmaster、Altman、Bubeck、Alpöge、陶哲轩各方的公开声明,看「谁说了什幺」的对质
中文整理给出了 token、消息数、成本估算和 Lean 形式化验证的完整数字,适合需要快速核对的读者