2026年9月8日，OpenAI宣布其未公开AI模型在约88小时内协作完成纳维-斯托克斯存在性与光滑性问题的证明，该问题是千禧年七大数学难题之一。证明指出，在外力光滑条件下，初始平滑流体可能于有限时间内形成速度无限增长的奇点，并经GPT-6 Astra用Lean语言在17小时内形式化验证。研究耗资约1500万至2250万美元。纽约大学教授巴克马斯特等质疑数据使用合规性，OpenAI否认访问用户数据，但承认匿名化产品数据或有助模型改进。