OpenAI据称用内部AI模型攻克纳维–斯托克斯难题

OpenAI称，其未公开的内部AI模型已给出纳维–斯托克斯方程的一种解法，相关结果通过机器验证。该证明长达165页，核心思路是构造一个三维不可压缩流体：流体起初静止，受到平滑外力后，涡旋在向内卷吸、拉伸过程中使速度不断增加，最终在有限时间内变得无界，同时总动能保持有限。OpenAI表示，这对应千禧年大奖难题官方表述中的C和D条件，即证明特定条件下光滑解会发生破裂。 据称，OpenAI在纳维–斯托克斯问题上调动约1万个并发自主代理，运行约88小时后找到结果；随后，GPT-6 Astra又用17小时协助完成形式化与验证。整个过程中，代理交换约490万条消息并生成3000亿个输出token，其中该问题占约270万条消息和约1300亿个输出token。此前的一次尝试曾耗用约2000美元API额度，将论证形式化为Lean证明，以便由定理证明系统验证。 纳维–斯托克斯问题是克雷数学研究所于2000年公布的千禧年大奖难题之一，奖金为100万美元，研究内容涉及流体运动方程，应用于飞机设计、天气预报和血流建模等领域。研究所目前仍将其列为未解决问题。按照相关规则，候选解法须先在合格刊物发表，持续公开至少两年并获得数学界普遍认可，研究所才会考虑授奖。OpenAI表示无意领取奖金，此次发布主要用于展示其前沿AI系统的进展速度。