OpenAI 将证明转换为 Lean 验证版本并公开
OpenAI 宣布用智能体群求解 Navier-Stokes 千禧年大奖难题
24 HOURS
本事件热度走势
当前热度 10峰值 10（9月9日 02:42）近24小时变化 —
移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。
TIMELINE
2 条公开报道 · 官方一手 0 条 · 最新在前报道时间线
- OpenAI 宣布用智能体群求解 Navier-Stokes 千禧年大奖难题
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，证明由一组智能体使用比 GPT-6 Astra 能力更强的 OpenAI 下一代模型完成。该问题关于 Navier-Stokes 方程所描述的光滑三维流体运动是否会失稳，约 90 年来未获解决。Perplexity CEO Aravind Srinivas 转发并称其为里程碑式成就。
- OpenAI 用上万智能体求解 Navier-Stokes 千禧年大奖难题
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，证明由一组智能体使用一个显著强于 GPT-6 Astra 的下一代模型生成，该问题关于光滑三维流体运动是否会崩溃，已悬置约 90 年。