资讯
OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？
📋总体概括
OpenAI宣布其内部AI系统提出千禧年大奖难题之一纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证。该系统由约1万个并发智能体组成，耗时约88小时，OpenAI称所用内部模型能力显著超越GPT-6 Astra。另有X平台消息称，CEO Sam Altman表示将用同样的万级智能体协作方式尝试寻找室温超导体，若属实意味着AI科研从数学向材料科学延伸。
⚡关键信息
- ▸OpenAI的AI系统提出纳维-斯托克斯方程存在性与光滑性问题的解，并经Lean形式化验证，该问题为七大千禧年大奖难题之一
- ▸系统由约1万个并发智能体协作，从启动到形成解决方案耗时约88小时
- ▸OpenAI称完成证明的内部模型能力显著超越GPT-6 Astra
- ▸X平台用户Dr_Singularity称Altman表示将用同样的多智能体方式寻找室温超导体，该说法尚未获官方正式确认
🔥犀利点评
从数学证明到室温超导，看似是能力跃迁，实则是叙事跃迁。数学问题可形式化验证，Lean通过就是硬通货；而材料发现依赖实验合成与物理测量，万级智能体算得再多，也造不出样品、测不出临界温度。超导领域已被LK-99式闹剧消费过一轮信誉，OpenAI若真下场，得先拿出可复现的实验证据而非转发截图。在官方确认前，这更像资本市场的预期管理。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 华尔街见闻 阅读全文 →