据 OpenAI 称，该公司仅用 88 小时，便通过协调约 10,000 个 AI 智能体解决了纳维–斯托克斯存在性与光滑性问题。这是七个千禧年大奖难题之一，旨在探究光滑的三维流体流动是否会“崩溃”，该问题已 90 多年未获解决。OpenAI 表示，这一证明由一个能力显著强于 GPT-6 Astra 的内部模型生成，同时提供了分析证明和 Lean 形式化验证，表明纳维–斯托克斯方程描述的动力学可以在有限时间内形成奇点。这标志着截至目前第二个得到解决的千禧年大奖难题。