资讯
OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？
📋总体概括
OpenAI宣布其内部AI系统解决了千禧年大奖难题之一——纳维-斯托克斯方程存在性与光滑性问题，并通过Lean形式化验证。该系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时，所用内部模型称能力显著超越GPT-6 Astra。此外，有X平台观察者称Altman表示将以同样的万级智能体协作方式，尝试寻找室温超导体，把AI科研能力从数学拓展至材料科学。若属实，这标志着AI从辅助工具走向自主科研主体，但也需警惕未经同行评审的结论。
⚡关键信息
- ▸OpenAI于9月8日宣布内部AI系统提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，这是七大千禧年大奖难题之一
- ▸该证明已通过Lean形式化验证，约1万个并发智能体协作，从启动到形成方案耗时约88小时
- ▸OpenAI称完成证明的内部模型能力显著超越GPT-6 Astra，用以展示前沿AI能力的进化速度
- ▸X平台观察者Dr_Singularity称Altman表示将用相同的多智能体协作方式尝试寻找室温超导体，方向从数学延伸至材料科学
- ▸目前数学证明与超导探索均属OpenAI单方面披露，尚未经传统数学界同行评审确认
🔥犀利点评
先泼盆冷水：千禧年难题的确认从来不由公司官网说了算，Lean形式化验证虽硬，但底层假设和形式化过程的严谨性仍待数学共同体检验，OpenAI连论文细节都语焉不详，营销意味浓于科研。室温超导更是从可验证的数学跳到了充满失败史的实验科学，LK-99闹剧殷鉴不远。但这事真正的信号是路线之争：用万级智能体暴力并发替代人类数十年深耕，如果属实，科研的生产范式确实要变了。只是Altman的话术向来融资先行，听一半留一半是明智的。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 华尔街见闻 阅读全文 →