OpenAI 宣称用智能体攻克悬置 90 年的 Navier-Stokes 千禧年难题

eherrerosj · x · 2026-09-09

OpenAI 官方宣布给出纳维-斯托克斯方程(千禧年大奖难题之一)的解:该问题探讨三维流体光滑运动的数学描述是否会崩溃,悬置约 90 年。证明由一组智能体(agent)产出,所用的是比 GPT-6 Astra 能力显著更强的新一代模型。

随后有西班牙用户指出,这一解的数学基础来自两位西班牙数学家——ICMAT(CSIC)的 Diego Córdoba 与 Cunef 的 Luis Martínez-Zoroa,他们的工作为该解奠定了基础,而西班牙媒体几乎无人报道。若解获验证,将是 AI for Science 的里程碑事件,也可能引爆关于「AI 能否独立完成顶级数学研究」的争论。