资讯
OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？
📋总体概括
OpenAI宣布其内部AI系统提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证，这是七大千禧年大奖难题之一。该系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时，OpenAI称所用模型能力显著超越GPT-6 Astra。另有X平台用户称Altman表示将用同样的多智能体协作方式尝试寻找室温超导体，若属实意味着OpenAI的AI科研探索将从数学延伸至材料科学。
⚡关键信息
- ▸OpenAI于9月8日宣布AI系统提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证
- ▸该系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时
- ▸OpenAI称完成证明所用内部模型能力显著超越GPT-6 Astra
- ▸X平台用户Dr_Singularity称Altman表示将用同样万级智能体协作方式尝试寻找室温超导体
- ▸该数学问题是七大千禧年大奖难题之一，标志着AI在前沿数学研究能力上的新突破
🔥犀利点评
通过Lean形式化验证是关键——数学证明不怕吹牛，机器可查验，若属实确实是AI科研能力的里程碑。但室温超导这条消息仅来自X平台转述，连官方公告都没有，八成是给资本市场的叙事弹药。数学和材料科学完全是两回事：前者可形式化验证，后者受限于实验和物理合成，万级智能体烧88小时算力就能找到常温超导体？这更像是用数学突破的光环为下一个故事铺路，听听就好，别急着高潮。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 华尔街见闻 阅读全文 →