破解数学界的最大难题曾是门艺术，直到AI来了

事件核心：发生了什么

据 Wired 报道，OpenAI 表示其动用数千个 agent，攻下了 Navier-Stokes 方程的存在性与光滑性问题。这一方程由 19 世纪科学家提出，用于描述黏性流体运动，工程师拿它模拟飞机气流，但数学家真正着迷的是方程本身的结构，而非工程用途。范德堡大学数学家 Jared Speck 形容，这道题更像数独或国际象棋，吸引力来自“数学上的丰富性和解谜感”。

与人类数学家引用前人成果、逐层论证、花费数月甚至数年沟通证明步骤不同，OpenAI 的方式偏向暴力搜索。该证明长达 166 页，目前仍在同行评审中，其有效性尚未被专家确认；报道也提到数学家批评 OpenAI 在方法透明度上的不足，且大模型并不可靠地标注引用来源。

为什么重要

这不是一次工程优化，而是对“数学是什么”的一次冲击。数学家 G. H. Hardy 在 1940 年《一个数学家的辩白》中把数学家比作画家和诗人，认为数学是在观念中构造模式。OpenAI 的做法则把证明压缩成结果，可能削弱人类对结论的理解与传承。科罗拉多州立大学数学家 Juspreet Singh Sandhu 说，艺术家和音乐人已经经历过这种冲击，现在轮到数学。对 AI 行业而言，这延续了“大模型 + 多智能体 + 算力堆叠”解决高难度推理任务的路线，但目前公开信息显示，其实际价值更像一次能力展示，而非可直接应用的工具。

对用户/开发者/创作者的影响

普通用户短期内用不到这份证明。开发者需要留意的是 agent 编排与大规模推理的成本结构：数千个智能体协同解题，意味着 token 消耗和算力开销远高于单次对话。对做教育、科研辅助或数学工具的团队来说，这是一个信号：大模型在形式化推理上的边界正在被试探，但可解释性、引用可追溯性和人机协作流程仍是短板。

AI 工具推荐

想把多个 AI 模型放在一个入口？

GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。

了解 GamsGo AI

推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。

值得关注的后续

一是同行评审结果，证明是否成立将决定这次发布是里程碑还是乌龙；二是 OpenAI 是否公开证明过程、引用链和 agent 运作细节；三是数学界会不会形成用 AI 辅助猜想、人类负责验证的新分工。

来源：Wired AI