OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？

📋总体概括

OpenAI宣布其内部AI系统提出千禧年大奖难题之一纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证。该系统由约1万个并发智能体组成，从启动到形成方案耗时约88小时，OpenAI称所用内部模型能力显著超越GPT-6 Astra。另有X平台观察者称，Altman表示将用同样的万级智能体协作方式尝试寻找室温超导体，若属实则意味着OpenAI的AI科研版图从数学延伸至材料科学。