OpenAI耗时88小时攻克千禧年难题 成本达数百万美元

1万智能体并行探索：算力堆出的奇迹

纳维-斯托克斯方程的存在性与光滑性问题，自克莱数学研究所2000年将其列为千禧年七大难题以来，始终是数学物理领域一块难啃的硬骨头。它追问的不仅是一个流体方程是否有解，而是当流体初始状态平滑且动能有限时，其速度场是否会在某个有限时刻失去光滑性、产生物理上极具争议的”爆破奇点”。OpenAI这次给出的是一个惊人的肯定答案——奇点可以存在。

值得注意的是，完成这项工作的并非单一模型，而是约1万个AI智能体组成的高度并行化”科研军团”。OpenAI内部代号中数学能力显著强于GPT-6 Astra的未发布模型被用作核心推理引擎，1万智能体在88小时内并行探索可能的证明路径，产出核心思路后又花费17小时用Lean形式化证明系统对全部推导进行机器核验，最终输出165页论文与可编译的形式化代码。这种”广撒网+形式化裁决”的科研范式，与人类数学家依赖灵感和试错的传统路径形成鲜明反差。

算力账单同样令人咋舌——整个项目消耗近3000亿token、成本数百万美元，其中仅求解过程就耗去约1300亿token。换算下来，每个智能体平均处理了1300万token的推理量，如此规模的算力投入在学术史上鲜有先例。这也引发了核心争论：如果一项数学证明的成立需要耗费数百万美元的超算资源才能复现，那么它的”可验证性”究竟属于全人类，还是只属于少数科技巨头？

顶尖数学家的质疑：突破还是舆论秀？

面对OpenAI的高调官宣，全球数学界的反应远非一片叫好。多位顶尖数学家对证明逻辑的严谨性提出尖锐质疑：在如此庞大的智能体并行搜索中，如何保证每个智能体的推演片段在拼接时不存在隐藏的假设断裂？Lean形式化系统虽然能验证推理步骤的形式正确性，却无法自动评判”证明思路是否真正触及了问题的数学本质”。更有学者开始追查前期相关研究的版权归属——若100万美元奖金最终颁发，这项由十亿级参数模型加上万集群完成的成果，究竟该归功于算法设计者、算力提供方，还是被调用的开源理论？克莱数学研究所目前态度审慎，尚未认定证明成立。

回顾历史，过去二十余年里人类仅攻克了七大难题中的庞加莱猜想，其证明以佩雷尔曼的天才直觉为基础，历经数年同行评议才被广泛接受。AI主导的证明天然缺少人类数学共同体所珍视的”可解释的灵感叙事”，即便逻辑形式无懈可击，也难以在短期内博得普遍信任。事实上，OpenAI此前推出的GPT-6 Astra已先后攻克包括Erdős-Sós猜想在内的五道数学难题，却始终伴随”暴力搜索而非智慧发现”的争议——用枚举和归纳支撑的证明，在纯数学视角下总显得不够优雅。

站在行业视角，这次实验的意义远超”证明成立与否”本身。它首次展示了大规模智能体协作在超长链条推理任务中具备媲美甚至超越人类专家团队的潜力，也暴露了算力鸿沟将如何重塑科研话语权。当百万美元奖金的难题成为科技巨头验证自家模型能力的”标准测试集”，数学这门最古老的基础学科，正站在被现代算力体系深刻改造的十字路口——而这场变革的终局，远未到来。