IT之家 10 月 17 日消息，今年 9 月，OpenAI 发布了一份 166 页的纳维-斯托克斯方程相关证明，声称其内部 AI 系统在约 88 小时内解决了这一千禧年难题。
然而，随着数学界对这项工作进行更深入的审查，研究人员开始对证明所采用的方法、其与现有研究的联系，以及大规模 AI 智能体的实际作用提出疑问。
数学家贡萨洛·曹-拉博拉指出，OpenAI 可能在自身尚未完全理解的情况下就急于发表论文。
他表示，OpenAI 的证明细节与西班牙数学家迭戈·科尔多瓦和路易斯·马丁内斯-佐罗亚此前提出的方法存在不同路径，二者之间的相似性可能更多停留在表面。
参与审读的多组专家向《科学美国人》表示，越来越多的证据表明，OpenAI 的证明并未遵循“西班牙路线”。这意味着 OpenAI 在发布这项成果时，可能并未完全理解其模型的具体行为。
IT之家注：纳维-斯托克斯方程用于描述流体运动，是克雷数学研究所设立的千禧年大奖难题之一。OpenAI 于 9 月 8 日发布相关研究，声称其内部模型完成了数学证明，并同时公开了使用 Lean 形式化验证语言编写的证明。OpenAI 表示，其研究团队使用了约 1 万个 AI 智能体，经过约 88 小时得出结果，随后又花费约 17 小时进行形式化与验证。
Lean 能够检查形式化证明中的逻辑推导是否符合设定规则，但通过形式化验证并不意味着证明所解决的问题一定符合研究人员原本关注的科学问题，也不意味着证明的思路易于人类理解。OpenAI 公布的证明长达 166 页，数学界目前仍在审查其具体方法与结论。
此次争议之一在于，OpenAI 的研究与科尔多瓦、马丁内斯-佐罗亚此前探索的研究路径究竟有多大关联。
《科学美国人》指出，OpenAI 的证明利用了纳维-斯托克斯方程中的外部力项，构造出流体速度在有限时间内无界增长的情形。
数学家对这一结果的意义存在不同看法：它符合克雷数学研究所原始问题表述允许的一种情形，但并未解决不施加外部力时，三维纳维-斯托克斯方程的解是否始终保持光滑这一更受关注的问题。
在研究成果的归属方面，纽约大学数学家特里斯坦·巴克马斯特质疑 OpenAI 的研究可能受益于他与 Anthropic 员工莱文特·阿尔珀格使用公开模型开展的相关研究。
对此，OpenAI 否认使用了巴克马斯特的相关数据，并在 9 月 10 日更新的官方说明中表示，经过调查，巴克马斯特此前两个月在 Codex 中输入的提示词不可能通过任何方式影响此次研究，包括通过模型训练产生影响。但截至目前，双方对研究方法及成果的关系仍存在争议。
另一项尚未得到明确答案的问题，是这些智能体协作究竟提供了多少贡献。OpenAI 官方称其研究涉及约 1 万个并行运行的智能体，累计发送约 270 万条消息，使用约 1300 亿个输出 Token。不过，这些数字只能反映计算规模和运行过程，不能直接说明多智能体架构对最终成果的实际贡献。
OpenAI 研究员诺姆·布朗也指出，目前研究人员并不清楚如此大规模的智能体集群究竟带来了多少额外收益。由于使用数千个智能体进行系统性对照实验的成本很高，研究人员尚未充分比较单个智能体完成同一任务所需的时间，也难以准确衡量 1 万个智能体相较于 1000 个智能体的优势。布朗估计，多智能体协作架构对这次成功的贡献可能不到 10%。
在他看来，由于 AI 智能体技术新颖且易受广泛关注，容易获得超出实际贡献的认可；真正关键的因素可能是底层模型本身的能力，以及模型能够长时间持续处理任务、并行探索多种解法的特性。
10 月初，OpenAI 又公开了约 400 项数学研究结果。数学界普遍表示仅消化这些内容就需要数年。
这些成果以相对松散的形式集中发布在 GitHub 上，同样又引发部分数学研究人员不满。他们担心，大量成果在缺乏充分解释、整理和学术交流的情况下集中发布，会降低数学研究成果的可读性，也可能模糊严谨的研究验证与大规模自动生成结果之间的区别。
目前，数学界仍在评估 OpenAI 的相关研究。此次争议涉及的不只是 AI 能否生成形式化证明，还包括研究方法是否真正解决了目标问题、成果如何归属，以及多智能体系统的实际贡献应当如何衡量。
相关阅读：
对于关注指数走势的专业用户，星空体育中文网在每场焦点赛事页面嵌入实时比分与数据面板，包括控球率、射门次数、角球等关键指标。用户可结合历史交锋记录和近期状态，自行分析比赛走向。例如，在2026年9月27日的欧冠小组赛中，拜仁慕尼黑全场控球率高达68%，却因一次反击失误0比1不敌国际米兰，充分说明数据与结果并非总是正相关。
张明远
2026年9月28日星空体育中文网每日更新全球主流联赛的中文资讯，涵盖英超、西甲、意甲、德甲、法甲以及中超、日韩联赛等。编辑团队精选每轮最具话题性的比赛，提供赛前前瞻、赛后复盘及球员评分，帮助用户深度理解赛场内外。
王浩然
2026年9月27日针对球队阵容变动，星空体育中文网推出专题分析栏目，聚焦转会窗期间各俱乐部引援策略与离队球员去向。例如，2026年夏季转会窗，巴黎圣日耳曼一口气签下三名后卫，意图解决上赛季防守不稳的问题。该栏目结合战术图解，为用户解读阵容调整对球队整体实力的影响。
陈晓彤
2026年9月26日星空体育中文网还开设球迷互动区，用户可以在每篇博文下方留言讨论，分享自己的观点。编辑团队会定期选取优质评论进行回复，并精选部分内容纳入后续文章。我们致力于打造连接赛场与用户的信息桥梁，让每一位中文体育爱好者都能找到归属感。