OpenAI千禧年难题证明遭学界质疑方法与贡献：有哪些关键信息？

OpenAI于9月8日公布166页纳维-斯托克斯方程证明，称AI系统约88小时完成求解。

数学家质疑该证明方法与西班牙学者科尔多瓦等人的路线仅表面相似。

OpenAI称研究动用约1万个AI智能体，累计发送约270万条消息。

研究员诺姆·布朗估计多智能体协作对成功的贡献可能不到10%。

OpenAI否认使用巴克马斯特的数据，但双方对成果关系仍有争议。

物界前沿 · 资讯情报卡（IT之家 · 2026/10/17）

OpenAI千禧年难题证明遭学界质疑方法与贡献

核心事实

关键数据

166页证明页数

约88小时求解耗时

约1万个智能体数量

约1300亿个输出Token

物界观察

这次争议的核心不是AI能否写证明，而是没人能说清模型到底做了什么。形式化验证通过不等于解决了目标问题，多智能体贡献又可能不到一成。学界消化成果需数年，OpenAI却以松散形式集中发布，这种节奏正在透支学术信任。