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

📋总体概括

OpenAI于9月8日宣布，一款未公开发布、数学能力据称强于GPT-6 Astra的内部大模型，协调约1万个AI智能体，仅用88小时给出纳维-斯托克斯存在性与光滑性问题的核心证明思路，再花17小时用Lean形式化系统核验，公开165页论文与代码。该问题是克雷研究所七大千禧年难题之一，悬赏100万美元，困扰数学界近90年。项目消耗约1300亿token求解、总计近3000亿token，成本达数百万美元。若证明成立，将成为AI首次攻克千禧年难题的标志性事件。