数学家称OpenAI不理解自己的Navier-Stokes证明

OpenAI发布的166页Navier-Stokes问题潜在解遭数学家质疑，称其方法与声称的遵循路径不符。该证明用Lean写成，CMI正审查；OpenAI披露投入约10,000 model instances、88 hours和130 billion tokens，但研究员Noam Brown表示多智能体贡献不足10%，无人明确其具体优势。