OpenAI 纳维-斯托克斯方程证明遭学界质疑：方法与官方说法不符，智能体作用成谜

围绕 OpenAI 纳维-斯托克斯方程研究的争议，焦点从“是否生成了形式化证明”转向“证明是否解决了目标数学问题、方法是否被充分理解以及智能体贡献有多大”，因此具有方法论和科研评价价值。

• IT之家援引相关讨论称，OpenAI 公布了 166 页证明，并称约 1 万个智能体在约 88 小时内得到结果，之后完成 Lean 形式化与验证。
• Lean 能检查形式化推导是否符合设定规则，但这种检查不能单独证明研究对象、边界条件与千禧年难题原始目标完全一致。
• 争议集中在外部力项的使用：若证明依赖外部力造成有限时间速度无界增长，其结论与无外力三维方程的光滑性问题并不相同。
• 智能体数量、消息量和输出 Token 反映计算规模，不等于对结论的因果贡献；缺少严格消融实验时，不能据此判断多智能体架构的收益。
• 影响/看点：这类案例可能推动 AI 数学成果采用更严格的形式化、复核和归因标准；其学术意义取决于同行能否确认问题设定、证明链条与成果独立性。
• 资料依据:
• IT之家（2026-10-17）：OpenAI 纳维-斯托克斯方程证明方法被指与官方叙事不符 https://www.ithome.com/1/014/370.htm
• OpenAI（2026-09-10）：关于相关研究与 Codex 数据关系的官方说明 https://openai.com/index/ai-math-research/

本内容由 AI 生成，仅供参考，请注意甄别