OpenAI Says Internal AI System Resolved the Navier–Stokes Problem

📋总体概括

OpenAI于2026年9月8日宣布，其内部AI系统给出了纳维-斯托克斯方程可在有限时间内产生奇点的证明，并附有Lean证明助手中的形式化版本。该公司称这一结果解决了克雷数学研究所七大千禧年大奖难题之一，即流体运动的数学基础问题。OpenAI同时公开了证明论文与Lean形式化材料，等待数学界审查验证。若成立，这将是AI首次独立攻克千禧年难题，对AI科研能力与数学验证范式均具标志性意义，但结论仍需同行评审与形式化核验确认。