OpenAI当地时间9月8日宣布，其内部未公开模型组织约1万个AI智能体协作，在88小时内生成了纳维—斯托克斯存在性与光滑性问题的相关证明，并由GPT-6 Astra在约17小时内通过Lean完成形式化验证。该证明针对官方问题中的C、D情形，显示初始平滑的静止流体可能在有限时间内形成奇点。消息发布后引发争议，相关研究人员质疑OpenAI是否参考了此前公开成果及产品数据，OpenAI对此予以否认，但称不排除匿名化数据曾用于模型改进。陶哲轩表示此类问题具有激励作用，同时担忧AI独立解决复杂数学问题可能削弱人类理解。此次计算成本估计为1500万至2250万美元，OpenAI称不申请100万美元奖金。
