OpenAI未发布内部AI模型据称攻克纳维–斯托克斯方程难题，相关结果已由机器验证

OpenAI未发布内部AI模型据称攻克纳维–斯托克斯方程难题，相关结果已由机器验证。报道还称，该公司动用了约1万个并发自主代理完成推理与形式化验证，但这项成果目前仍未被克雷数学研究所正式认定为千禧年大奖难题的已解答案。 公司称已用机器验证方式给出纳维–斯托克斯方程解法，但距离正式获奖仍有数学界审查程序要走。 OpenAI称，这一内部模型在数学与理论计算机科学方向的多项长期难题上都取得了突破；在先前的尝试中，它曾以约2，000美元的API额度将论证形式化为 Lean 证明，从而可由定理证明系统验证。 千禧年大奖难题由克雷数学研究所于2000年公布，每题奖金100万美元，其中纳维–斯托克斯问题研究的是流体运动方程，广泛用于飞机设计、天气预报和血流建模等领域。 OpenAI此次给出的证明长达165页，核心思路是构造一个三维不可压缩流体：它起初静止，随后受到平滑外力作用，涡旋在向内卷吸、拉伸的过程中速度不断增加，最终在有限时间内变得无界，而总动能仍保持有限。 文章指出，这对应千禧年大奖问题官方表述中的 C 和 D 条件，也就是通过证明在特定条件下光滑解发生破裂来完成题目。 OpenAI还表示，为了推进这项工作，公司同时让多个千禧年大奖难题并行运行；在纳维–斯托克斯问题上，约有1万个代理协同工作，约88小时后找到结果，随后 GPT-6 Astra 又花了额外17小时帮助完成形式化与验证。 在整个过程中，这些代理共交换约490万条消息、生成3000亿个输出 token，其中纳维–斯托克斯问题本身就占了270万条消息和约1300亿个输出 token。 不过，克雷数学研究所目前仍把纳维–斯托克斯问题列为尚未解决的千禧年大奖难题。 按照其规则，候选解法必须先发表在合格刊物上，持续公开至少两年，并获得全球数学界的一般认可，研究所才会考虑授奖。 OpenAI表示自己无意领取这100万美元奖金，此次发布主要是为了展示其前沿AI系统的进展速度。 via cnBeta.COM - 中文业界资讯站 (author: 稿源：cnBeta.COM )