OpenAI 未发布模型解决纳维-斯托克斯方程问题

OpenAI 表示其内部未发布模型在能力上显著超越 GPT-6 Astra，已解决纳维-斯托克斯方程存在性与光滑性问题。该问题属于克雷数学研究所 2000 年提出的七个千禧年难题之一，每个问题奖金为 100 万美元。OpenAI 的证明使用了 Lean 正式化工具，并在 50 小时内由近 10000 个并发智能体完成，但未声称领取奖金。