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

📋总体概括

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