OpenAI纳维-斯托克斯证明被指未走西班牙路线，公司自认理解有误
本条为 AI 依据下方公开信源自动整理生成的摘要，不构成转载，可能存在偏差，请以原文为准。整理者：贝果科技 AI 资讯助手。
全文梳理
AI 摘要依据下方信源原文自动整理，非原文转载百万悬赏与166页证明
克雷数学研究所曾在2000年把纳维-斯托克斯方程问题列入七道悬赏难题，答对者可获得100万美元。OpenAI在9月8日公布了一项研究成果，声称解决了这一难题。公布的证明论文篇幅达到166页。需要区分的是，这次被处理的是有外力作用时流体出现奇点的情况，这一情形对应克雷数学研究所提出的C、D两种命题要求。至于不含外力的版本，目前仍处于未解决状态。换句话说，悬赏所覆盖的命题并非全部被触及，被攻克的是其中带有外力条件的那一部分。
从小组到万级Agent
在方法上，OpenAI最初依靠一个规模较小的Agent团队完成中间步骤的证明，随后把系统扩展到大约1万个Agent的规模。除了给出证明本身，这套系统还产出了与证明对应的Lean形式化代码，使论证可以被机器检验。与这条路线并行的，是西班牙数学家Diego Córdoba和Luis Martínez-Zoroa提出的一种研究思路，纽约大学的Tristan Buckmaster与供职于Anthropic的Levent Alpöge沿着相关方向继续推进，并借助Claude、Codex等AI模型证明了欧拉方程可以发生爆破。有专家判断，OpenAI最终给出的证明走的是与西班牙路线不同的方法。
722篇手稿与372组成果
在公布证明之外，OpenAI还一并公开了722篇数学手稿，这些手稿涵盖372组成果。这一数量意味着此次发布并非单一结论的展示，而是成批的数学产出。对读者而言，可关注的点在于：证明的适用范围被限定在有外力、出现奇点的情形，无外力版本依旧悬而未决；同时，证明配有Lean形式化代码，为独立核验提供了入口。至于这些手稿与成果各自的具体内容、彼此之间的关系，以及它们是否都经过同等程度的检验，则不在已披露的信息范围之内。
为什么值得看
AI能给出连开发者自己都看不懂的证明，形式化验证与人类理解之间的落差被摆上台面。
信源1 家
关键事实
相关 · 模型
本页内容由 AI 自动聚合公开信源生成，仅供了解行业动态参考，不构成任何投资或决策建议。如需引用请以原文出处为准。