返回 AI 情报
论文精选 782026-09-09 01:43Eric (@ericmitchellai)
OpenAI 宣布智能体用新一代模型给出 Navier-Stokes 千禧年大奖难题的解
another crazy day working at the crazy day factory
AI 摘要
OpenAI 宣布给出数学前沿难题之一的 Navier-Stokes 千禧年大奖难题的解，该证明由一组智能体使用一个能力显著强于 GPT-6 Astra 的 OpenAI 新一代模型产出。该问题关注 Navier-Stokes 方程描述的光滑三维流体运动是否会崩溃，已悬置约 90 年。
正文 · AI 翻译
在疯狂日工厂上班的又一个疯狂日子
### 引用推文
> OpenAI：我们正在分享一个针对纳维-斯托克斯千禧年奖问题的解决方案，这是数学前沿最深刻的问题之一。 该证明由一组智能体完成，使用了 OpenAI 的下一代模型，其能力显著超越 GPT-6 Astra。 该问题关乎由纳维-斯托克斯方程建模的光滑三维流体运动描述是否会失效。它已悬而未决约 90 年。
原文
Original Title
another crazy day working at the crazy day factory
Source
Eric (@ericmitchellai)
Site
x.com
Published
2026-09-09 01:43