OpenAI 宣布用 agent 群组证明 Navier-Stokes 千禧年难题
andreisavu · x · 2026-09-09
OpenAI 官方宣布给出 Navier-Stokes 千禧年大奖难题的一个解：该问题关乎三维光滑流体运动的描述是否会崩溃，悬置约 90 年，是数学前沿最深层的问题之一。
证明由一组 agent 产出，使用的是 OpenAI 下一代模型，其能力显著超过 GPT-6 Astra。这是 AI 首次在千禧年大奖难题级别上产出数学成果，随后也引发了与另一团队关于 Euler/Navier-Stokes 优先权的争议。
所属事件:OpenAI 宣称破解纳维-斯托克斯千禧难题，署名与验证争议四起(234 条相关)→
「模型」频道最新
- Muse Spark 1.3 登 CursorBench:67.9 分仅 $1.31,性价比碾压 — shuyanzh36 · 2026-09-09
- 曝 OpenAI 内部模型 bel 数学解题量达 astra 约 2.5 倍 — imjustnewatai · 2026-09-09
- GPT-6-Astra 上线 Loop：基于 Codex 构建的调试工具直接可用 — nikunjhanda · 2026-09-09
- 创始人实测 GPT Astra：思考更快，更擅长处理人际沟通细节 — morganlai · 2026-09-09
- DeepSeek V4.1 Flash Vision Beta 实测：5 项视觉测试全面碾压上代 — cheezeerd · 2026-09-09
- GPT-6 Astra 登陆 Amazon Bedrock：百万 token 上下文，首达网络安全 Critical 级 — AWS ML Blog · 2026-09-09