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

📋总体概括

OpenAI于9月8日宣布，其一款未公开、数学能力据称强于GPT-6 Astra的内部大模型，动用约1万个AI智能体协同工作，仅用88小时完成纳维-斯托克斯存在性与光滑性问题的核心证明，随后用17小时通过Lean形式化系统核验，公开165页论文与代码。该问题是克雷研究所七大千禧年难题之一，悬赏100万美元，困扰数学界近90年。OpenAI证明结论是爆破奇点可以存在。整个项目消耗约3000亿token，成本达数百万美元。若证明经同行评审成立，将是AI首次攻克顶级数学难题，意义堪比AlphaFold之于结构生物学。