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

📋总体概括

OpenAI于9月8日公布，其一款未发布、数学能力宣称强于GPT-6 Astra的内部大模型，通过约1万个AI智能体协同，仅用88小时攻克克雷数学研究所七大千禧年难题之一的纳维-斯托克斯存在性与光滑性问题，结论是爆破奇点可以存在。随后用17小时经Lean形式化系统核验，公开165页论文与代码。该项目消耗约1300亿token求解、总计近3000亿token，成本达数百万美元，这是继庞加莱猜想之后第二道被证明的千禧难题，也是AI首次拿下该级别数学成果。