9月9日消息,OpenAI 在9月8日宣布,其一款尚未公开的 AI 模型成功解决了“纳维-斯托克斯存在性与光滑性问题”,该问题是克莱数学研究所于2000年提出的七大千禧年大奖难题之一。这一问题主要探讨描述流体运动的纳维-斯托克斯方程是否存在失效的可能性,困扰数学界已近90年。此前,竞争对手Anthropic也披露了其内部的Claude研究模型在解决黎曼猜想方面取得了显著进展,提升了黎曼 ζ 函数临界线上零点的比例,从41.6%提高到了67.2%。这一消息传出后,引发了业界的广泛关注。OpenAI 的团队通过约10,000个 AI 智能体的协作,花费大约88小时成功生成了数学证明。这个证明表明,一个初始状态光滑的静止流体在有限时间内可能出现“奇点”,即流速无穷大。OpenAI还提供了相关的分析证明和使用Lean编程语言进行的形式化验证,后者的验证工作则由最新的GPT-6 Astra在约17小时内完成。