资讯🔥7.0
继 Claude 尝试攻克黎曼猜想后：OpenAI 宣布用 10000 个 AI 智能体 88 小时攻克千禧年大奖难题，陶哲轩既点赞又担忧
📋总体概括
OpenAI于9月8日宣布，其一款未公开、性能据称远超GPT-6 Astra的内部模型，通过约10000个AI智能体协作，在约88小时内解决了千禧年大奖难题之一「纳维-斯托克斯存在性与光滑性问题」，证明显示初始平滑的静止流体可在有限时间内出现流速无限增长的奇点，并提供分析证明与Lean形式化验证（验证耗时约17小时）。此前Anthropic的内部Claude模型也宣布在黎曼猜想上取得进展。该问题已困扰数学界约90年，陶哲轩对此既点赞又表达担忧。
⚡关键信息
- ▸OpenAI宣布未公开内部模型攻克纳维-斯托克斯光滑性问题，该难题自2000年被克莱研究所列为千禧年大奖难题，已困扰数学界约90年
- ▸证明由约10000个AI智能体协作，在约88小时内生成，结论是平滑流体可在有限时间内发展出流速无限增长的奇点
- ▸证明附带Lean语言形式化验证，由GPT-6 Astra在约17小时内完成
- ▸此前Anthropic宣布内部Claude模型在黎曼猜想上取得进展，将临界线零点比例下界从41.6%提高到67.2%
- ▸数学家陶哲轩对该成果既点赞又表达担忧
🔥犀利点评
AI连克千禧年难题，听起来是数学史的分水岭，但细节值得警惕：两家公司都拿「内部未公开模型」说事，证明是否经得起人类数学家的独立审视才是关键，Lean验证只能保证逻辑自洽，不能保证公理设定无懈可击。陶哲轩的担忧其实点破了本质——如果数学发现被少数AI巨头垄断，整个学科的验证生态和人类数学家的价值都会被重构。别急着欢呼，先等同行评审。
📰 相关资讯（与本文相关的其他资讯）
资讯苹果十余年来最重磅发布会：首款折叠iPhone即将亮相🔥10.0
财联社深度·2026/9/9
资讯Apple Event Live Blog: Folding iPhone, Apple Watch Series 12, AirPods, and More🔥9.0
Wired·2026/9/9
资讯iPhone 18 Pro/Pro Max今晚发布：首发小号灵动岛！涨价100美元🔥9.0
驱动之家·2026/9/9
资讯Apple Store is down ahead of iPhone 18 Pro, iPhone Duo foldable and more announcements🔥9.0
9to5Mac·2026/9/9
本文由本站自动聚合，以下为原始来源：前往 IT之家 阅读全文 →