资讯
OpenAI宣布未公开大模型攻克千禧年难题：只用了88小时
📋总体概括
OpenAI于9月8日公布重磅成果：一款未公开、数学能力据称强于GPT-6 Astra的内部大模型，调度约1万个AI智能体协同工作，仅用88小时获得纳维-斯托克斯存在性与光滑性问题的证明思路，再经17小时用Lean形式化系统核验，公开165页论文与代码。该问题是克雷数学研究所七大千禧年难题之一，悬赏100万美元。项目总计消耗近3000亿token，成本达数百万美元，证明结论为爆破奇点可以存在。
⚡关键信息
- ▸OpenAI未公开内部大模型数学能力强于GPT-6 Astra，借约1万智能体88小时完成千禧难题证明思路
- ▸纳维-斯托克斯问题是克雷研究所七大千禧难题之一，奖金100万美元，困扰数学界近90年
- ▸后续用Lean形式化证明系统花17小时严谨核验，公开165页论文及形式化代码
- ▸项目消耗约1300亿token求解、总计近3000亿token，成本达数百万美元
- ▸证明结论为流体爆破奇点可以存在，此前七大难题仅庞加莱猜想被人类证明
🔥犀利点评
若证明经得起同行审视，这不是演示而是AI科研能力的分水岭——98小时+1万智能体攻克人类90年未解之题，本质是把算力暴力换成了数学突破。但先泼冷水：Lean形式化只保证逻辑自洽，不保证命题本身的价值，且数百万美元成本换100万美元奖金，OpenAI买的从来不是钱，而是『AI能做原创科学』的叙事。真正的考验是数学界能否独立复现和认可这份165页证明。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 驱动之家 阅读全文 →