OpenAI解决纳维—斯托克斯方程涉及流体向内旋转并沿轴向拉伸，涡旋核心不断收缩，局部速度随之增大。图片来源：OpenAI
科技日报北京9月9日电 （记者张梦然）当地时间8日，据OpenAI官方社交媒体及外媒网站消息，OpenAI发布声明称，一个比GPT-6 Astra更强、尚未公开的下一代模型，组织约1万个AI智能体，用88小时给出了纳维—斯托克斯方程存在性与光滑性问题的证明，并同步公开166页论文和Lean（计算机定理证明器）验证代码。
该题是克雷数学研究所七大千禧年难题之一，悬赏100万美元求解，OpenAI称不会申领奖金。该事件目前已引发数学界争议，有数学家质疑AI是在访问了他们正在做