数学家称 OpenAI 不理解其 Navier-Stokes 证明

OpenAI 提出了一份 166 页的 Navier-Stokes 问题潜在证明，但数学家认为其方法与宣称的西班牙数学家研究仅表面相似。该证明使用 Lean 语言编写，Clay 数学研究所正在审查。OpenAI 部署约 10,000 个模型实例和 1300 亿 tokens，但研究员称多智能体系统贡献不足 10%。