AI连破5道量子难题，物理学也要被攻陷？

一家名为Physical Superintelligence（PSI）的神秘公司宣布，借助自研AI科研系统，在量子信息理论的5个开放问题上取得成果，相关论文、Lean形式化证明和验证代码已在GitHub上公开供审查。该公司今年9月1日才正式亮相，成立不到两个月。

此次聚焦的量子信息科学，主要研究如何利用量子力学规律存储、处理和传输信息。5道难题均来自具有27年历史的开放量子问题（OQP）目录，该目录由德国物理学家Reinhard Werner于1999年建立。5道题横跨纠缠提纯、量子场论、高维量子通信、量子信道容量与量子因果律五个核心方向，分别为：OQP 2负偏转置态的纠缠不可蒸馏性、OQP 12真空纠缠与贝尔不等式、OQP 27 CGLMP贝尔不等式的最优测量、OQP 38 PPT平方猜想与纠缠破坏、OQP 43量子因果过程的可纯化性。其中3题（OQP 2、OQP 12、OQP 27）在本世纪初就被收录。

PSI亮相之初即宣称要建成“世界上最先进的物理研究实验室”。创始人兼首席科学家Alex Wissner-Gross曾在MIT同时读完物理、电气工程和数学三个本科专业，并以工程学院年级第一名毕业，此后MIT取消了“同时读三个专业”的选项。他于2007年在哈佛获得物理学博士学位，早在2013年就提出用“因果熵力”解释智能行为的理论。联创兼总裁Alex Klokus是美国科技媒体Futurism创始人。PSI亮相时宣布完成5800万美元种子轮融资，领投方为比尔·盖茨创立的Breakthrough Energy Ventures，跟投方包括SV Angel，a16z前合伙人Balaji Srinivasan也参与投资，并吸引来自OpenAI、英伟达、Hugging Face、Oracle等公司的个人投资者。

PSI的愿景是让科学发现“从天才走向规模化”。其基本研究单元称为Autonomous Campaign（自主研究任务），希望让研究从问题定义、假设提出、验证、实验到工程部署持续运行。自研AI科研系统Emmy分离“生成”和“验证”两步：先调用前沿大模型将开放难题拆解成可验证的数学子假设，再丢进Lean形式化证明器、符号计算引擎及高精度验证代码中严格筛查，报错假设当场淘汰，通过局部验证的路径保留并继续衍生。最终Lean代码编译通过，即意味着定理在数学逻辑上100%无懈可击。验证结果还能成为训练下一代AI物理学家的奖励信号。

商业化方面，PSI计划先从AI数据中心入手，将供电、散热、通信和算力当成一个整体方程求解，从物理极限上寻找更高能效比。此外，PSI还宣布计划在2029年前发射深空星际探测器“Fermi Explorer”，利用Emmy优化出的轻量化工程方案飞出太阳系，用8万年飞向4.2光年外的半人马座。