OpenAI Says Internal AI System Resolved the Navier–Stokes Problem

📋总体概括

OpenAI于2026年9月8日宣布其内部AI系统给出了一份证明，并在Lean证明助手中完成了形式化，表明描述流体运动的Navier-Stokes方程可在有限时间内产生奇点。该公司称这一结果解决了克雷数学研究所的千禧年大奖难题之一。若证明经受住数学界审查，这将是AI首次在顶级数学未解难题上取得实质突破，对具身智能背后的物理建模与AI科研能力都具有标志性意义，但目前仍需等待同行审议验证。