OpenAI于9月8日公布，一款未发布、数学能力远超GPT-6 Astra的内部大模型，调用约1万个AI智能体协同工作，仅用88小时便完成了纳维-斯托克斯存在性与光滑性问题的证明。
该问题是克雷数学研究所2000年提出的七大千禧年大奖难题之一，悬赏100万美元，困扰数学界近90年，OpenAI结论是流体速度的爆破奇点可以存在。
流程上，1万智能体并行探索88小时得出核心思路，再用17小时经Lean形式化核验，公开165页论文与代码，总消耗近3000亿token，成本达数百万美元。
若通过全球数学界严格评审，这将是继庞加莱猜想后第二个被攻克的千禧难题，但已有数学家对证明逻辑、成果归属及版权提出质疑，克雷研究所尚未正式认定。