资讯🔥7.0
OpenAI宣布未公开大模型攻克千禧年难题：只用了88小时
📋总体概括
OpenAI于9月8日公布，一款未发布、数学能力强于GPT-6 Astra的内部大模型，调度约1万个AI智能体协同工作，88小时获得纳维-斯托克斯存在性与光滑性问题的核心证明思路，再用17小时经Lean形式化系统核验，公开165页论文与代码。该问题是克雷研究所七大千禧年难题之一，悬赏100万美元，困扰数学界近90年。证明结论为爆破奇点可以存在。项目消耗约1300亿token求解、总计近3000亿token，成本达数百万美元。
⚡关键信息
- ▸OpenAI未发布内部模型数学能力显著强于GPT-6 Astra，约1万个AI智能体88小时得出核心证明思路
- ▸攻克的是克雷研究所七大千禧年难题之一的纳维-斯托克斯存在性与光滑性问题，奖金100万美元，困扰数学界近90年
- ▸证明结论：平滑初始条件、动能有限的流体仍可在有限时间内产生爆破奇点
- ▸后续17小时用Lean形式化系统核验，公开165页论文与形式化代码
- ▸求解消耗约1300亿token，项目总计近3000亿token，成本数百万美元
🔥犀利点评
88小时拿下一个人类卡了近90年的难题，形式化核验这步做得很扎实，不是嘴上说说。但别急着喊AI取代数学家：数百万美元成本加3000亿token，买来的是一个题的答案而非可泛化的数学直觉。真正值得盯的是「1万智能体并行探索+Lean验证」这套流程能否复制——能批量生产，百万奖金就真成了AI的零花钱。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 驱动之家 阅读全文 →