资讯🔥7.0
OpenAI宣布未公开大模型攻克千禧年难题：只用了88小时
📋总体概括
OpenAI于9月8日宣布，其一款未公开、数学能力据说强于GPT-6 Astra的内部大模型，调度约1万个AI智能体协同工作，仅用88小时得出纳维-斯托克斯存在性与光滑性问题的核心证明思路，再花17小时经Lean形式化系统核验，公开165页论文与代码。结论为爆破奇点可以存在。该项目耗用约1300亿token、总消耗近3000亿token，成本达数百万美元。该问题是克雷研究所七大千禧年难题之一，悬赏100万美元，此前人类近90年未能攻克。
⚡关键信息
- ▸OpenAI未公开内部模型指挥约1万个AI智能体，88小时得出纳维-斯托克斯问题证明思路，再用17小时经Lean形式化核验
- ▸纳维-斯托克斯存在性与光滑性是七大千禧年难题之一，悬赏100万美元，困扰数学界近90年
- ▸证明结论：即使初始状态平滑、总动能有限，流体仍可在有限时间内产生爆破奇点
- ▸项目消耗约1300亿token，总消耗近3000亿token，成本达数百万美元，公开165页论文与形式化代码
- ▸七大千禧难题此前仅庞加莱猜想被人类数学家完成证明
🔥犀利点评
88小时攻克90年悬案，听着像神话，但真正的含金量在Lean那17小时——形式化验证把AI是否瞎编挡在了门外，165页论文加机器可检验代码才是硬通货，营销数字反倒是其次。真正该追问的是：数百万美元、近3000亿token烧一道题，这条路能否摊薄到普通科研问题？若不能，这只是昂贵的演示；若能，数学家的饭碗和科研范式都要重写。另外证明最终仍需数学界人工复核，克雷认不认还是未知数，别急着封神。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 驱动之家 阅读全文 →