Physical Superintelligence 用 AI 系统 Emmy 突破 5 道量子信息开放问题

PSI 称，其自研 AI 科研系统 Emmy 在量子信息理论的 5 个开放问题上取得成果，相关论文、Lean 形式化证明和验证代码均已发布在 GitHub 上供学界审查。这 5 道题来自德国物理学家 Reinhard Werner 于 1999 年建立的开放量子问题（OQP）目录，编号分别为 OQP 2、OQP 12、OQP 27、OQP 38 和 OQP 43，覆盖纠缠提纯、量子场论、高维量子通信、量子信道容量与量子因果律五个方向，其中 3 题在本世纪初就已被收录。 Emmy 的工作流程把“生成”和“验证”分开：先调用前沿大模型将宏大的物理开放难题拆解为大量微小、可验证的数学子假设，再交给 Lean 形式化证明器、符号计算引擎和高精度验证代码严格筛查。报错的假设被当场淘汰，通过局部验证的路径则保留并继续衍生；最终 Lean 代码编译通过，即意味着定理在数学逻辑上成立。验证结果还会作为奖励信号，用于训练下一代 AI 物理学家。 PSI 今年 9 月 1 日才正式公开亮相，本次量子信息成果是其首个公开成果。公司已完成 5800 万美元种子轮融资，由比尔·盖茨创立的 Breakthrough Energy Ventures 领投，SV Angel 跟投，a16z 前合伙人 Balaji Srinivasan 也参与投资，并吸引了来自 OpenAI、英伟达、Hugging Face、Oracle 等公司的个人投资者。创始人兼首席科学家 Alex Wissner-Gross 曾在 MIT 同时完成物理、电气工程和数学三个本科专业，2007 年在哈佛获得物理学博士学位；联合创始人兼总裁 Alex Klokus 是科技媒体 Futurism 的创始人。 商业化方面，PSI 计划从 AI 数据中心入手：把超算集群的供电、冷却、网络和计算资源视为一个整体方程，从底层物理规律出发求解更高能效比。此外，PSI 还宣布计划在 2029 年之前发射深空星际探测器“Fermi Explorer”，利用 Emmy 优化出的轻量化工程方案飞向 4.2 光年外的半人马座，预计飞行时间 8 万年。