OpenAI于9月8日宣布，其内部系统已找到三维纳维-斯托克斯方程有限时间奇点的证明，可能破解七大千禧年难题之一。该结果描述流体从光滑静止开始，涡旋坍缩、速度趋于无穷但总能量有限。纳维-斯托克斯方程正则性问题是克雷数学研究所于2000年设立的难题之一，此前数学家仅证明了广义解存在，未确定光滑解是否保持光滑。

OpenAI通过约一万个智能体协同推演，项目于9月1日启动，智能体可运行代码和读取缓存资料。约100个智能体先求解了欧拉方程正则性问题，为纳维-斯托克斯项目提供方向。智能体于9月5日获得结果，GPT-6 Astra随后用17小时以Lean进行形式化验证。项目共涉及270万条消息和约1300亿输出token。

OpenAI未申领百万美元奖金，公开证明供数学家审查。如果证明通过专家评审，将展示机器主导的数学搜索可发现90年来未找到的机制。证明的数学正确性仍需专家检验。