数学家质疑OpenAI纳维-斯托克斯证明及Agent贡献

OpenAI 发布的 166 页纳维 - 斯托克斯方程潜在解法遭到数学界广泛质疑，多位专家指出该证明在细节上偏离了西班牙数学家 Córdoba 和 Martínez-Zoroa 的方法，仅表面相似，且因使用 Lean 形式化验证语言导致人类难以直接阅读逻辑步骤。 核心争议在于计算资源的实际效用：OpenAI 投入约 10,000 个模型实例运行 88 小时并消耗 1300 亿 tokens，但研究员 Noam Brown 承认无人确切知道这庞大的智能体群具体贡献了多少成果。由于缺乏系统性对比测试，无法判断单智能体与万级智能体在解决同一问题时的时间差异，Brown 估计多智能体架构对成功的贡献不足 10%，主要功劳仍归于基础模型的长时并行处理能力。 事实层面，CMI 正在审查该证明，GitHub 上发布的 400 多个结果引发社区不满；推断层面，当前 AI 系统在复杂数学领域的突破更多依赖基础模型能力而非智能体规模扩张；猜测层面，由于大模型的黑箱特性，未来可能永远无法给出关于智能体贡献的确切答案。