资讯🔥7.0
OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？
📋总体概括
OpenAI宣布其内部AI系统提出千禧年难题之一——纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证。该系统由约1万个并发智能体组成，从启动到形成方案耗时约88小时，OpenAI称所用模型能力显著超越GPT-6 Astra。另有X平台消息称，Altman计划以同样的多智能体协作方式尝试寻找室温超导体，将AI科研能力从数学延伸至材料科学。若属实，这标志着AI驱动的科学发现正从纯数学验证走向实验性更强的物理难题。
⚡关键信息
- ▸OpenAI内部AI系统提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证
- ▸该系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时
- ▸OpenAI称证明所用内部模型能力显著超越GPT-6 Astra
- ▸纳维-斯托克斯问题是七大千禧年大奖难题之一
- ▸Altman据称计划用同样的万级智能体协作方式寻找室温超导体，消息来自X平台博主，尚未官方确认
🔥犀利点评
先泼冷水：室温超导的消息源头是X博主转述，OpenAI官方并未确认，传播链明显不牢靠。但纳维-斯托克斯这一手若经独立数学家复核成立，含金量极高——Lean形式化验证堵住了「AI胡说」的漏洞，88小时解决百年难题本质上是算力密度加形式化验证对人类数学家工作模式的降维打击。真正值得警惕的不是解题，而是OpenAI借千禧年难题做能力营销：从证明数学到攻克材料科学，难度完全是两个量级，超导需要实验验证闭环，不是推公式就能出结果的。别把叙事当突破。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 华尔街见闻 阅读全文 →