OpenAI内部模型攻克千禧年难题：纳维-斯托克斯方程被破解？

2026年9月，OpenAI投下了一枚震撼数学界的重磅炸弹：其内部未发布模型在约88小时内，攻克了克雷数学研究所2000年设立的七大“千禧年难题”之一——纳维-斯托克斯方程的存在性与光滑性问题。若经同行评议确认，这将是继2010年佩雷尔曼证明庞加莱猜想后，第二个被解决的千禧年难题，更是首次由AI系统主导完成的顶级数学突破。消息传出，数学家们既兴奋又不安：当AI能在人类极少参与下解开最难的谜题，人类对数学的理解是否会被削弱？这场人机协作的新篇章，正引发深刻反思。

核心事件：AI如何攻克世纪难题

• 事件时间线：OpenAI团队于9月1日听闻Anthropic可能已解决两个千禧年难题的传闻后，将一款内部模型投入测试，该模型能力“显著强于”刚发布的GPT-6 Astra。约50小时后，模型在与纳维-斯托克斯相关的子问题上取得关键进展，团队随即集中算力，最终在9月6日完成验证。

• 技术路径：模型采用强化学习技术，通过海量数学题的试错训练判断对错，并使用Lean编程语言生成可严格核查的数学证明。这一方法让AI不仅能解题，还能产出人类可验证的严谨论证。

• 惊人结果：OpenAI声称，其证明显示纳维-斯托克斯方程的解会在有限时间内发生“爆破”，即流体运动可能失控。这一结果推翻了部分数学家对解长期光滑性的猜想，若成立，将深刻影响流体力学理论。

• 算力规模：为解决该问题，OpenAI将AI智能体数量从约100个扩充至1万个，累计耗时88小时，发送270万条消息，耗用1300亿输出token（约合100万本书的体量）。如此庞大的算力投入，在数学研究史上绝无仅有。

• 能力跃升：在内部基准测试中，已发布的GPT-6 Astra能解出约10%的数学难题，而这款未发布模型解出比例接近50%，显示出AI数学能力的指数级增长。

• 奖金与争议：OpenAI表示不申领100万美元奖金，意在展示技术进展。但克雷研究所所长马丁·布里奇森强调，正式认定需严格评审。同时，纽约大学研究员巴克马斯特质疑OpenAI模型可能接触了其未发表研究，引发数据与署名争议。

深度分析：AI破解数学难题的里程碑与隐忧

此次事件标志着AI在数学领域的能力从“辅助工具”跃升至“主导者”。过去一年，AI从在国际数学奥林匹克竞赛中获奖，到与初创公司合作解出埃尔德什问题，再到攻克千禧年难题，速度远超预期。这背后是强化学习与形式化验证技术的成熟，使AI能自主探索并产出人类可验证的证明。然而，陶哲轩的警告值得深思：若AI在几乎无人参与下解题，人类数学家可能沦为“观众”，失去对数学深层结构的直觉与理解。他将OpenAI比作“荒野向导”，指出指明路径可能让人不再探索其他可能。这种“理解流失”风险，在依赖AI解决复杂问题的时代尤为突出。

同时，事件也暴露了AI研究的伦理问题：数据使用、署名规范、成果归属等均未明确。OpenAI与Anthropic的竞争，以及研究人员对数据泄露的担忧，反映出AI驱动科研的“军备竞赛”可能带来不透明与不公。未来，数学界需建立新的协作范式，既利用AI的效率，又确保人类的理解与贡献不被边缘化。克雷研究所的评审将成关键考验，而黎曼猜想、P与NP问题等其余难题，是否会在类似算力下接连告破，将重塑数学研究的版图。

常见问题解答

Q：纳维-斯托克斯方程是什么？为什么它如此重要？ 纳维-斯托克斯方程是描述流体（如水、空气）运动的基本方程，由法国工程师纳维和英国数学家斯托克斯在19世纪提出。它广泛应用于天气预报、飞机设计、血流模拟等领域。千禧年难题关注的是三维不可压缩流体的解是否始终存在且光滑，这关系到对湍流等复杂现象的数学理解，是流体力学和数学分析的核心问题。

Q：AI的证明可靠吗？人类数学家如何验证？ OpenAI的证明包含165页的书面论证和Lean形式化验证。Lean是一种编程语言，能自动检查证明的每一步逻辑，因此计算机验证已通过。但克雷研究所强调，正式认定需人类专家独立复核，确保证明无漏洞且符合数学规范。这个过程可能耗时数月甚至数年，但AI生成证明的严谨性已获初步认可。

Q：如果AI能解决所有数学难题，人类数学家还有何用？ 尽管AI解题能力强大，但数学家的角色并未消失。OpenAI研究员丹·罗伯茨将数学家比作“大黄蜂”，在AI代理间传递关键思路。人类仍负责设定问题、解释意义、构建理论框架，并评估AI结果的价值。AI的突破可能激发新的研究方向，但理解数学本质、培养直觉仍需人类。未来，人机协作将成为主流，数学家需学会“驾驶”AI，而非被取代。

参考 URL: https://www.thepaper.cn/newsDetail_forward_34036297