OpenAI 称内部模型证明 3D Navier-Stokes 会有限时间爆破，复现成本约 1500 万美元
johnseach · x · 2026-09-09
OpenAI 宣布其一个「能力显著超过 GPT-6 Astra」的内部模型证明了 3D Navier–Stokes 方程的解可在有限时间内爆破（从光滑初值、有限能量出发出现无限速度的涡旋）——这是克雷千禧年大奖难题之一，奖金 1500 万美元。
关键事实与争议点：
- 复现成本：OpenAI 告诉记者，作为客户复现这次搜索约需 1500 万美元
- 规模：约 1 万个并发 agent、约 88 小时搜索外加形式化验证时间、数千亿 token、数百万条 agent 消息
- GPT-6 Astra 本身定价约 $10/$50 每百万 token，而真正完成证明的模型层级更高、在运行期间还在训练，外部无法获得
- 作者指出双重门槛：权重不公开；即使公开，万级 agent 编排加形式化验证的方案也只有前沿实验室玩得起，不是普通博士生/研究组可用的科学工具
- 结论：这是了不起的数学成果，但「只存在于八位数发票背后的发现引擎」还不是大多数人可用的科研基础设施，推理成本与 agent 编排成本需下降几个数量级
所属事件:OpenAI 宣称破解纳维-斯托克斯千禧年难题，陷署名争议(230 条相关)→
「模型」频道最新
- 创始人实测 GPT Astra：思考更快，更擅长处理人际沟通细节 — morganlai · 2026-09-09
- DeepSeek V4.1 Flash Vision Beta 实测：5 项视觉测试全面碾压上代 — cheezeerd · 2026-09-09
- WaveNet 发布十周年：比 Transformer 更早的长上下文自回归 — teropa · 2026-09-09
- OpenAI Codex 服务中断,开发者无法使用 — cyrus_zei · 2026-09-09
- Fchollet:AI 数学证明候选,数学家初步反响是「不行」 — fchollet · 2026-09-09
- Codex 用户晒额度消耗：单个项目一周吃掉 20x 套餐 70% 用量 — jdjohnson · 2026-09-09