OpenAI宣称88小时攻克纳维-斯托克斯方程，引发科学界对“黑盒解题”价值的质疑
2026/09/11 16:52阅读量 2
OpenAI宣称其AI系统在88小时内通过大规模智能体协作，构造出纳维-斯托克斯方程在特定外力下流速趋于无穷大的反例，声称解决了该千禧年难题。此举引发了与人类数学家Tristan Buckmaster和Levent Alpöge的署名及数据使用争议，后者怀疑OpenAI使用了其研究草稿。陶哲轩等顶尖数学家担忧，AI生成的证明虽经形式化验证正确，但缺乏人类可理解的数学洞察，可能削弱科学研究的真正价值。
事件概述
2026年9月8日，OpenAI发布文章宣称，利用内部模型及约1万个并行AI智能体，在88小时内构造出纳维-斯托克斯方程（Navier-Stokes equations）存在性与光滑性问题的反例。随后，GPT-6 Astra耗时17小时将证明翻译为Lean语言以供计算机逐行检查。该问题悬而未决近90年，是克雷数学研究所悬赏100万美元的七道千禧年难题之一。
核心信息
- 解题过程与成果：OpenAI在听到竞争对手Anthropic解决其他千禧年难题的谣言后启动该项目。系统先尝试正向证明，后转向寻找反例。最终小组规模达一万个AI程序，成功构造出一种情形：原本静止的流体在有限大小且无突变的外力作用下，局部流速在有限时间内趋向无穷大，从而表明方程在极端条件下存在边界。
- 署名与数据争议：人类数学家Tristan Buckmaster和Levent Alpöge已在此方向研究近一年并紧急上传成果。Buckmaster指控OpenAI可能使用了他们输入Codex的研究草稿，因为OpenAI提到的方向与其长期推进路线一致。OpenAI否认直接访问两人工作，但承认无法完全排除去身份信息后的产品使用数据对模型改进的影响。此外，Alpöge作为Anthropic员工，被OpenAI拒绝参与基于其证明的论文合作，理由是避免竞争公司接触内部模型。
- 科学界反应：陶哲轩等数学家指出，虽然AI结果可能经过形式化验证是正确的，但其生成速度超过人类理解速度。这种“暴力搜索”式解题可能导致人类只得到答案而无法获得可推广的数学洞察，违背了科学研究中“理解为何成立”的核心价值。费马大定理的伟大不仅在于证明，更在于过程中发展出的新方法论。
值得关注
- OpenAI的科学激进策略：OpenAI正通过攻克硬科学难题来证明通用人工智能（AGI）能力。2026年以来，该公司频繁宣称推翻多个数学猜想，并重金延揽陈立杰、苏炜杰、Jacob Tsimerman等顶尖数学家加入团队，同时向学术界提供免费工具和资金支持，旨在抢占AGI竞赛优势。
- AI时代的科研范式冲突：事件折射出AI时代科研模式的深层矛盾。一方是依赖直觉、漫长积累和人类理解的传统数学研究；另一方是依靠算力、大规模并行搜索和形式化验证的AI辅助研究。如何定义“直觉的价值”以及如何处理人类贡献与AI探索之间的关系，成为亟待解决的伦理与方法论问题。