OpenAI 用 AI 模型在 88 小时内解决流体动力学难题

在9月9日的动态中，OpenAI宣布，其一款尚未公开的 AI 模型（性能超越最新的GPT-6 Astra）成功攻克了“纳维-斯托克斯存在性与光滑性问题”。这一问题是克莱数学研究所自2000年以来提出的七个“千禧年大奖难题”之一，主要探讨用于描述流体运动的纳维-斯托克斯方程是否在某些情况下会失效，已困扰数学界近90年。此前，Anthropic也报告了其内部Claude研究模型在攻克黎曼猜想中取得了显著进展，将黎曼ζ函数临界线上的零点比例下界从41.6%提升至67.2%。这一消息让业界为之震惊。OpenAI透露，他们的团队通过约10,000个AI智能体的协作，花费约88小时生成了证明，证明表明初始为平滑的静止流体在有限时间内可能会发展出“奇点”，即流速无限增长。OpenAI还提供了分析证明及使用Lean编程语言的形式化验证，而验证工作由GPT-6 Astra在约17小时内完成。