OpenAI称用AI证明流体力学世纪难题

IT时代网9月9日消息，OpenAI 公开了一项由其内部 AI 系统产出的数学成果：纳维-斯托克斯存在性与光滑性问题的解法。这是七大千年奖难题之一，悬置至今约 90 年。公司同步放出了证明的论文写本与 Lean 形式化验证，结论是三维流体的运动可以在有限时间内发展出奇点。此前，本站曾报道过 AI 攻克悬置 40 年数学难题 M23 的消息，此番则是 AI 系统直接向千年奖难题发起冲击。

纳维-斯托克斯方程以牛顿第二定律描述流体运动，把流体当作连续介质而非逐个追踪分子，被用于飞行器设计、天气预报和血流研究。悬而未决的核心问题是：从光滑状态出发的三维不可压缩流体，会不会在某个时刻出现速度无界增长的奇点——即便粘性一直在把运动往平滑里拉。按官方千年奖问题的表述，这次的结果落在 C 与 D 两个命题分支上。

解的形态是一个边旋转边向内收缩的涡，形似意大利面，越缩越快、越拉越长，但能量在整个过程中始终保持有限，符合物理定律的约束。技术难点在于，让方程中的加速度、压力梯度、动量传递与粘性各项同时变大又精确抵消，靠流体自身的运动完成击穿，而不是人为塞进一个无穷大的外力。

过程同样罕见。OpenAI 称使用了一个比 GPT-6 Astra 强得多的内部模型，8 月 28 日起开始训练，性能至今仍在爬升。9 月 1 日听闻两项千年奖难题被解决的传闻后，公司启动了对全部开放千年奖问题的评估：协调智能体可以读缓存的互联网、能运行代码，分组协作攻关，纳维-斯托克斯小组动用了约 1 万个并发智能体。此前近 100 个智能体花约 50 小时先解决了无外力版欧拉方程的正则性问题，资源随即转投纳维-斯托克斯，9 月 5 日得出解，距启动约 88 小时，Lean 形式化验证又由 GPT-6 Astra 花了 17 小时完成。

规模数字也相当夸张：全部尝试中智能体共发送 4900 万条消息、消耗约 3000 亿输出 token，其中纳维-斯托克斯部分占 270 万条消息与约 1300 亿 token。OpenAI 明确表示不打算以此领取千年奖奖金，称这只是 AI 能力进展的一张快照，公司将继续据此理解并把握研发节奏。

注：本文配图由AI生成，文中包含AI辅助创作的内容。

编辑：林一舟