OpenAI 纳维-斯托克斯方程证明方法被指与官方叙事不符：学界验证尚需数年，智能体贡献同样成谜
2026.10.17 · 事件 · AI 事件 · 媒体报道
数学家质疑 OpenAI 的证明未走“西班牙路线”，且可能自己都没看懂模型做了什么。
OpenAI 9 月称其 AI 系统约 88 小时完成纳维-斯托克斯方程证明，并公开 166 页证明与 Lean 形式化验证。数学界审查后质疑其方法与科尔多瓦等人路线仅表面相似，多智能体贡献可能不到 10%，成果归属亦存争议。
- OpenAI 称约 1 万个智能体、88 小时完成证明，17 小时形式化验证
- 数学家曹-拉博拉指 OpenAI 可能没看懂就发论文
- 证明利用外部力项构造速度无界增长，未解决无外力情形
- 布朗估计多智能体协作贡献可能不到 10%
- 10 月初又公开约 400 项数学结果，学界称需数年消化
为什么值得看
看清 AI 生成数学证明的能力边界与验证难题。
适合谁关注
关注 AI for Science、数学与智能体研究的读者。