OpenAI模型提出纳维–斯托克斯千禧年难题解答

OpenAI于2026年9月8日表示，一个能力超过GPT-6 Astra的内部系统给出了纳维–斯托克斯方程解的存在性与光滑性这一千禧年大奖难题的解答：初始光滑且静止的流体在光滑外力作用下，可在能量保持有限的同时于有限时间内产生奇点，从而证明了克雷研究所的命题C和D。该公司发布了说明文章，以及经GPT-6 Astra验证的Lean形式化证明，期间进行了约88小时的多智能体搜索和17小时的形式化，并表示无意申领千禧年大奖。OpenAI提到Levent Alpöge与Tristan Buckmaster同时期关于受迫欧拉方程的工作，承认他们在该结果上的优先权，并将此次发布定位为AI研究速度的证据，而非消费级产品发布。

来源: OpenAI

由 AI 辅助翻译。