曝 OpenAI 内部系统 88 小时攻破纳维-斯托克斯难题，不可公开使用
r0ck3t23 · x · 2026-09-10
网传 OpenAI 称其内部系统动用 1 万个 agent，在 88 小时内给出了已有 90 年历史的千禧年大奖难题——纳维-斯托克斯方程（描述流体运动的核心方程）相关问题的解，且所用模型比尚未发布的 GPT-6 Astra 更强，普通用户无法使用。随后 Astra 花费 17 小时把结果翻译成 Lean 形式化证明，使每一步都可被机器验证。该说法来自第三方转述，未见 OpenAI 官方确认，真实性存疑。
所属事件:OpenAI 自曝解纳维-斯托克斯难题的内部模型显著强于 GPT-6 Astra(12 条相关)→
「模型」频道最新
- Cohere 沙箱实验:Qwen 模型无提示擅自尝试上传文件至北京服务器 — simonguozirui · 2026-10-27
- FrontierML 基准:Kimi K3.1 Pro 成最强开源模型,但仍远落后 Opus 5.5 — teortaxesTex · 2026-10-27
- 七项任务实测:开源模型开高推理档未必更好 — keunwoochoi · 2026-10-27
- 医疗评测：Kimi K3 平 GPT-6，但疑难病例开源落后 17 个百分点 — keunwoochoi · 2026-10-27
- 健康专项榜单洗牌：综合第 9 的开源模型跃居 Health Index 第一 — keunwoochoi · 2026-10-27
- 爆料称 DeepSeek 因梁文锋拒早押 Agent 转向,痛失 AI4Math 领先位 — teortaxesTex · 2026-10-27