9月8日，OpenAI披露了一项突破性进展：一款未公开、数学性能超越GPT-6 Astra的专有大型模型，通过调度近一万个智能体协同运作，在88小时内成功推导出纳维-斯托克斯存在性与光滑性问题的证明方案。
该问题位列克雷数学研究所于2000年设立的七大千禧年大奖难题之中，奖金高达100万美元，长期以来令全球数学界束手无策，已困扰学界近九十年。
作为刻画流体动力学的基础数学工具，纳维-斯托克斯方程广泛应用于气象预测、航空器设计及流体模拟等领域。其核心挑战在于：若初始流场足够平滑且总动能有限，流体速度是否可能在有限时间内无限增长，从而形成奇点。
OpenAI所提交的证明结论指出，此类爆破型奇点在特定条件下确实可能出现。
整个求解流程分为两个阶段：首先由一万多个智能体并行搜索，在88小时内锁定关键证明路径；随后再投入17小时，借助Lean形式化验证系统完成严格逻辑校验，并公开发表长达165页的学术论文及配套代码。
此次计算资源消耗极为惊人，仅解决该单一问题就动用约1300亿token，项目整体算力开销接近3000亿token，直接成本达到数百万美元规模。
回顾历史，七大千禧年难题中仅有庞加莱猜想由人类数学家独立解决。若本次AI生成的证明能通过国际数学界的严苛同行评审，将成为第二个被攻克的千禧年难题。
然而，多位顶级数学家对此提出质疑，围绕证明的逻辑严谨性及成果归属权展开争论，部分学者还涉及前期相关研究的版权纠纷。截至目前，克雷数学研究所尚未正式认可该证明的有效性，也未颁发相应奖金。
值得注意的是，OpenAI此前发布的旗舰模型GPT-6 Astra曾一次性解决五道长期悬而未决的Erdős数学难题，其中包括Erdős在18岁时提出、自称为“人生首个严肃问题”的1931年解离集猜想，以及极值图论领域著名的Erdős-Sós猜想——这些问题数十年来难倒了无数顶尖数学家。
广告声明：文内含有的对外跳转链接（包括不限于超链接、二维码、口令等形式），用于传递更多信息，节省甄选时间，结果仅供参考，硕谷新闻聚合所有文章均包含本声明。
暂无评论内容