当地时间 9月8日(北京时间 9月9日),OpenAI 宣布,其内部下一代模型(官方称性能显著超越已发布的 GPT-6 Astra)给出了纳维-斯托克斯方程存在性与光滑性问题的“解答”,并公开 165 页论文,称已完成 Lean 形式化验证。这是克莱数学研究所 2000 年公布的七大千禧年大奖难题之一。
OpenAI 在公告中称,结果由约 1 万个协同工作的 AI 智能体在 88 小时内协作完成,核心结论是:在正黏性条件下,可以构造从静止起步的三维不可压缩流体,在光滑外力作用下让局部速度在有限时间内变得无界,同时保持总动能有界——即有限时间内出现奇点的动力学情形。
业内提示,千禧年难题的结论需经数学界独立审验后才能定论;但“万级智能体协作产出前沿数学结果”这一生产方式本身,已经把 AI 在科学研究中的角色从工具推向协作者,也将改写科研机构与企业的算力组织方式。(来源:OpenAI 公告/IT之家)
该文观点仅代表作者本人,企服科学平台仅提供信息存储空间服务。