数学家称OpenAI未理解自家纳维-斯托克斯证明
AI 总结
2026年9月8日，OpenAI称其内部AI系统用约88小时、约1万个智能体生成了166页的纳维-斯托克斯方程证明，并发布Lean形式化版本，同时表示证明沿用了西班牙数学家迭戈·科尔多瓦与路易斯·马丁内斯-佐罗亚的路线。多个专家团队向《科学美国人》表示，细看之下OpenAI最终采用的是另一套方法，洛桑联邦理工学院数学家贡萨洛·曹-拉博拉称两者相似之处仅停留在表面。OpenAI研究员诺姆·布朗估计，多智能体架构对此次成功的贡献可能不到10%；纽约大学数学家特里斯坦·巴克马斯特质疑OpenAI受益于其与Anthropic员工莱文特·阿尔珀格的研究，OpenAI否认使用其数据，克雷数学研究所仍在审查该证明。
深度见解
这一争议暴露出验证缺口：Lean只能机械核验推导是否成立，却无法说明证明方法为何有效、成果如何归属，也无法衡量大规模智能体的实际贡献。
亏贼！OpenAI的纳维-斯托克斯方程连续剧，居然又又又反转了。。。
一个多月前，OpenAI刚宣布攻克这道悬赏100万美元的千禧年难题，就被数学家质疑研究成果的原创性。
当时，包括OpenAI自己在内，各方都认为，这份长达166页的证明沿用了两名西班牙数学家提出的研究路线。
然而现在，随着数学家们逐渐啃懂那份长达166页的证明，事情出现了意想不到的变化：
OpenAI最终采用的证明方法，根本不是此前大家以为的那条「西班牙路线」。
#OpenAI#Lean#Clay Mathematics Institute#Diego Córdoba#Luis Martínez-Zoroa#Tristan Buckmaster#Levent Alpöge#Noam Brown#Gonzalo Cao-Labora#Camillo De Lellis