数学界迎来重大突破！OpenAI 近日对外宣布，其尚未公开的内部 AI 模型成功攻克了“纳维-斯托克斯存在性与光滑性问题”。这一难题是克莱数学研究所于 2000 年提出的七个“千禧年大奖难题”之一，自提出以来便吸引着全球顶尖数学家的目光，如今却被 AI 模型率先取得关键进展。
“纳维 - 斯托克斯存在性与光滑性问题”聚焦于描述流体运动的纳维 - 斯托克斯方程是否会失效，该问题已困扰数学界长达约 90 年。流体运动在自然界和工程领域极为常见，从飞机飞行时空气的流动，到血管中血液的循环，都遵循着纳维 - 斯托克斯方程。然而，方程在特定条件下是否会出现“奇点”，即流速无限增长，导致方程失效，一直是数学界未解的谜团。
OpenAI 的研究团队采用了一种创新的方法，让约 10,000 个 AI 智能体协同工作。经过约 88 小时的运算，这些智能体成功生成了问题的证明。证明结果表明，一个初始平滑且静止的流体，在有限时间内确实有可能发展出“奇点”，这意味着纳维 - 斯托克斯方程在特定情况下会失效。
为了确保证明的准确性和可靠性，OpenAI 不仅提供了详细的分析证明，还使用 Lean 编程语言进行了形式化验证。这一验证工作由 GPT - 6 Astra 完成，耗时约 17 小时。形式化验证能够严格检查证明的逻辑是否正确，为这一重大成果提供了坚实的保障。
值得一提的是，在 AI 攻克数学难题的赛道上，OpenAI 并非孤军奋战。上个月，Anthropic 宣布其内部一款未公开的 Claude 研究模型在黎曼猜想的研究中取得重要进展。该模型将黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提高到了 67.2%，这一成果同样引起了业界的广泛关注。随着 AI 技术的不断发展，其在数学研究领域的应用前景愈发广阔，未来或许还会有更多数学难题被 AI 攻克。
