Axios:OpenAI 用了比 Astra 更强的模型求解纳维-斯托克斯
141_1337 · reddit · 2026-09-09
据 Axios 与 Chubby 在 X 上的说法（截图转述），OpenAI 实际使用了一个「能力显著更强」于已公开的 Astra 模型来完成纳维-斯托克斯问题的求解。
这意味着此次千禧年难题宣称背后是尚未发布的下一代模型，公众看到的 Astra 并非其能力上限。该爆料尚未获 OpenAI 官方完整证实，但与 Wired 等报道形成呼应，指向 OpenAI 内部模型能力可能已大幅领先于对外版本。
所属事件:OpenAI 自曝纳维-斯托克斯证明用的是更强内部模型(6 条相关)→
「模型」频道最新
- Yuchen 分析:AI 解千禧年难题是数学界 AlphaGo 时刻 — Yuchenj_UW · 2026-09-09
- OpenAI 宣布用下一代模型 agent 群解出 Navier-Stokes 世界难题 — mobav0 · 2026-09-09
- K2 Horizon 开源六个规模模型，0.9B 版 AIME 拿 48.5 分 — kimmonismus · 2026-09-09
- IFM 开源 K2 Horizon 全家桶:6 个尺寸、每模型 20T tokens、连 reward-hacking 审计都公开 — kimmonismus · 2026-09-09
- IFM K2 Horizon 全家桶:0.9B到375B六款模型一套工具链 — kimmonismus · 2026-09-09
- 开发者上线聚合站，汇集 OpenAI 纳维-斯托克斯证明各方表态 — NathanpmYoung · 2026-09-09