OpenAI宣布未公开大模型攻克千禧年难题：只用了88小时

📋总体概括

OpenAI宣布其一款未发布的内部大模型数学能力强于GPT-6 Astra，通过约1万个AI智能体协同并行探索，仅用88小时得到纳维-斯托克斯存在性与光滑性问题的核心证明思路，再经17小时Lean形式化系统核验，共消耗约3000亿token、成本达数百万美元，公开165页论文与形式化代码。该问题是克雷数学研究所七大千禧年难题之一，悬赏100万美元、困扰数学界近90年，此前仅庞加莱猜想被人类数学家证明。结论是流体爆破奇点可以存在，对气象预报、飞行器设计等领域有基础意义。