OpenAI于9月8日宣布，其内部未公开的AI模型（远超GPT-6 Astra）耗时88小时，通过约1万个智能体协作，成功解决了千禧年难题“纳维-斯托克斯存在性与光滑性问题”。证明显示，平滑流体在有限时间内可能出现“奇点”（流速无限增长），并由GPT-6 Astra在17小时内用Lean语言完成了形式化验证。

纽约大学数学家巴克马斯特和Anthropic研究员阿尔珀格指控OpenAI在听闻他们前一天的同类研究进展后，才转向“外力驱动”方法，并担忧自己存储在Codex模型中的研究数据被挪用。OpenAI否认访问具体用户数据，但承认匿名化数据可能被用于改进模型。

此事引发对AI功劳归属和数据隐私的讨论，陶哲轩警告AI可能削弱人类对数学的深层理解。此次计算成本估算高达1500万至2250万美元，OpenAI表示不申领100万美元奖金。此前Anthropic刚在黎曼猜想上取得重要进展，凸显AI攻克人类智力巅峰的竞赛已白热化。