资讯
OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？
📋总体概括
OpenAI宣布其内部AI系统提出千禧年大奖难题之一纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证。该系统由约1万个并发智能体组成，从启动到形成方案耗时约88小时，OpenAI称所用内部模型能力显著超越GPT-6 Astra。另有消息源称，CEO Sam Altman表示将以同样的万级智能体协作方式尝试寻找室温超导体，意味着AI驱动的科研探索正从数学延伸至材料科学。不过室温超导目标目前仅来自第三方转述，尚无官方公告确认。
⚡关键信息
- ▸OpenAI的内部AI系统提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，已通过Lean形式化验证
- ▸该系统由约1万个并发智能体协作，从启动到形成解决方案耗时约88小时
- ▸OpenAI称完成证明所用内部模型能力显著超越GPT-6 Astra
- ▸据X平台用户Dr_Singularity转述，Altman表示将用同样的多智能体方式寻找室温超导体
- ▸室温超导目标目前仅来自第三方转述，OpenAI官方暂未正式确认该计划
🔥犀利点评
从数学证明到室温超导，叙事跨度大得像PPT融资。数学问题好在有Lean形式化验证兜底，对错可判；材料科学却要靠实验合成与低温测量说话，万级智能体再能推理，也变不出实验数据。千禧年难题如果属实确是里程碑，但官方文档细节稀少、超导目标又只是转述，宣传成分值得警惕。先等论文和独立复现，再谈AI攻克物理学圣杯也不迟。
📰 相关资讯（与本文相关的其他资讯）
资讯苹果十余年来最重磅发布会：首款折叠iPhone即将亮相🔥10.0
财联社深度·2026/9/9
资讯Last-Minute Leak Reveals iPhone Duo Color Options and Base Storage🔥9.0
MacRumors·2026/9/9
资讯Apple iPhone event livestream: See the new iPhone 18, meet new CEO John Ternus live🔥9.0
mashable.com·2026/9/9
资讯Apple Event 2026 live — last-minute iPhone Ultra leaks, AirPods 5 rumors, and more ahead of today's big showcase🔥9.0
techradar.com·2026/9/9
本文由本站自动聚合，以下为原始来源：前往 华尔街见闻 阅读全文 →