资讯
OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？
📋总体概括
OpenAI于9月8日宣布其内部AI系统提出千禧年大奖难题之一——纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证。该系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时，所用内部模型据称能力显著超越GPT-6 Astra。此外，有X平台观察者称Altman表示将用同样的万级智能体协作方式尝试寻找室温超导体，意味着OpenAI的AI科研探索正从数学延伸至材料科学。
⚡关键信息
- ▸OpenAI内部AI系统提出纳维-斯托克斯方程问题解决方案，并通过Lean形式化验证，直指千禧年大奖难题
- ▸系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时
- ▸OpenAI称完成证明的内部模型能力显著超越GPT-6 Astra
- ▸X平台观察者Dr_Singularity称Altman计划用同样的多智能体协作方式寻找室温超导体，该信息尚未获官方正式确认
🔥犀利点评
先泼冷水：室温超导的说法目前仅来自一条X平台帖子的转述，Altman本人是否原话表态尚待证实，媒体转述链路太长。但数学难题这条是OpenAI官方口径，若属实则意义不小——不过需注意，公告给出的是「提出解决方案并通过Lean验证」，距离数学界公认、克莱研究所发放百万美元奖金还有完整同行评议流程要走。从材料科学角度，超导发现依赖实验合成与表征，纯计算智能体群的可行性远低于形式化数学验证，Altman若真这么说，更像是对外秀肌肉的叙事而非可执行路线图。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 华尔街见闻 阅读全文 →