AI 88小时攻克90年数学难题，人类科学探索的价值面临重构
2026/09/11 17:10阅读量 2
OpenAI宣称其内部模型在88小时内通过大规模智能体协作解决了悬而未决近90年的纳维-斯托克斯方程千禧年难题，并引发关于数据使用及署名权的争议。陶哲轩等顶尖数学家担忧，这种“暴力搜索”式解题虽能给出形式化验证的答案，但可能掩盖了推导过程中的关键洞察，导致人类科学家无法理解或复用成果。这一事件折射出AI竞赛下科学界对“答案”与“理解”价值权衡的深层焦虑。
事件概述
2026年9月8日，OpenAI发布声明称，利用尚未公开的内部模型及约10,000个并行协作的智能体，在88小时内得出了纳维-斯托克斯方程（Navier-Stokes equations）存在性与光滑性问题的反例证明。随后，GPT-6 Astra耗时约17小时将该证明翻译为Lean语言以进行计算机逐行验证。该问题作为克雷数学研究所悬赏百万美元的七道千禧年难题之一，已困扰学界近90年。
核心信息与争议
- 解题过程：OpenAI研究员Sebastien Bubeck澄清，此举源于对竞争对手Anthropic解决其他千禧年难题谣言的快速反应。系统初期尝试正向证明未果，后集中资源寻找反例，最终发现特定外力条件下流体局部流速在有限时间内趋向无穷大的情形。
- 署名与数据争议：人类数学家Tristan Buckmaster和Levent Alpöge已在此方向研究近一年。Buckmaster质疑OpenAI可能使用了其团队在Codex上的研究草稿；Alpöge系Anthropic员工，曾受邀参与基于OpenAI成果的论文被拒。OpenAI否认直接窃取工作，但承认无法完全排除脱敏后的产品使用数据对模型改进的贡献。
- 学术界的反应：菲尔兹奖得主陶哲轩此前称赞了两位人类数学家的独立工作，并指出AI生成的证明速度可能超过人类理解速度。他担忧若缺乏“为什么成立”的解释，仅靠形式化验证得出的答案将失去推动后续研究的认知价值。
背景与行业影响
- 科学激进主义：自2026年初起，OpenAI组建由前首席产品官Kevin Weil领衔的科学团队，旨在将AI打造为科研人员的“数字头脑风暴伙伴”。公司频繁披露在数学、几何等领域的突破，包括推翻Erdős单位距离猜想及产出多项理论计算机成果，意在证明通用人工智能（AGI）的能力边界。
- 人才吸纳：OpenAI近期加速从学术界延揽顶尖人才，包括清华姚班出身的陈立杰、UCLA数学家Ernest Ryu、北大苏炜杰及新科菲尔兹奖得主Jacob Tsimerman等，涉及数学推理、优化理论及AI安全领域。
- 深层焦虑：随着AlphaFold获诺贝尔奖、AI在奥数中达到奖牌水平，攻克基础科学难题成为AI能力叙事的关键拼图。然而，这种依赖算力暴力的“黑盒”解题模式引发了关于科学研究本质的讨论：当答案来得太快，人类是否还能从中获得新的方法论和洞察力？