资讯
OpenAI宣布未公开大模型攻克千禧年难题：只用了88小时
📋总体概括
OpenAI于9月8日公布，一款未发布、数学能力据称强于GPT-6 Astra的内部大模型，调动约1万个AI智能体协同，仅用88小时获得纳维-斯托克斯存在性与光滑性问题的核心证明思路，再花17小时通过Lean形式化系统核验，公开165页论文与代码。该难题是克雷研究所七大千禧年难题之一，悬赏100万美元，困扰数学界近90年。证明结论为爆破奇点可以存在。整个项目消耗近3000亿token，成本达数百万美元。
⚡关键信息
- ▸OpenAI未发布内部模型数学能力据称显著强于GPT-6 Astra，完成千禧年难题证明
- ▸约1万个AI智能体并行探索88小时得出核心思路，Lean形式化核验再花17小时
- ▸纳维-斯托克斯方程问题困扰数学界近90年，悬赏100万美元，此前七大难题仅庞加莱猜想被人类证明
- ▸OpenAI结论：流体爆破奇点可以存在，公开165页论文与形式化代码
- ▸项目消耗近3000亿token，其中求解问题约1300亿token，成本达数百万美元
🔥犀利点评
88小时干掉90年悬案，听着像神话，但真正值得注意的不是速度而是那17小时——Lean形式化核验才是这道证明的可信度来源，否则AI数学只是营销话术。数百万美元成本砸一道百万美元奖金题，OpenAI买的是叙事和估值，不是奖金。真正的考验在数学界能否挑出毛病：机器生成、形式化验证的证明若成立，人类数学家数千年的垄断才真正被撬开一角。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 驱动之家 阅读全文 →