物理学也要被AI攻陷了？5道20多年量子公开问题被突破
内容提要
Physical Superintelligence（PSI）公司利用自研AI系统Emmy，在量子信息理论的5个开放问题上取得进展，相关论文与Lean形式化证明已公开。创始人Alex Wissner-Gross是MIT最后一位三专业本科生。PSI已完成5800万美元种子轮融资，目标是让科学发现规模化，并计划将AI用于数据中心能效优化及2029年发射星际探测器。
延伸解读
AI辅助证明的边界：形式化验证不等于物理正确
PSI强调Emmy系统将假设拆解为可验证子命题，并通过Lean形式化证明器严格筛查，最终编译通过意味着数学逻辑上无懈可击。但需注意，形式化验证仅保证推导过程符合数学规则，并不自动保证物理前提或模型假设的正确性。文章未说明这些证明是否经过同行评议或实验检验，因此读者应区分“数学上成立”与“物理上被证实”。
从开放问题目录到实际突破：成果尚待学界审查
此次涉及的5个问题来自具有27年历史的开放量子问题目录，其中3题在本世纪初已被收录，说明这些是长期悬而未决的难题。PSI将论文、Lean形式化证明和验证代码公开在GitHub供审查，这是积极的做法，但文章未提及任何第三方独立验证或同行评议结果。读者应关注后续学界反馈，而非仅凭公司公告判断突破程度。
商业路径：先解决数据中心能效，再谈星际探测
PSI的盈利计划并非直接出售物理理论，而是从AI数据中心能效优化入手。文章解释，超算集群的供电、冷却、网络和算力高度耦合，Emmy可从物理规律出发整体求解。这一方向相对务实，但文章未给出具体能效提升数据或客户案例。至于2029年发射星际探测器，目前仅为公司公告，缺乏技术细节和独立评估，读者宜将其视为长期愿景而非近期现实。
Q&A
PSI公司用AI解决了哪五个量子开放问题？
PSI的AI系统Emmy在量子信息理论的五个开放问题上取得进展，分别是：OQP 2（负偏转置态的纠缠不可蒸馏性）、OQP 12（真空纠缠与贝尔不等式）、OQP 27（CGLMP贝尔不等式的最优测量）、OQP 38（PPT平方猜想与纠缠破坏）和OQP 43（量子因果过程的可纯化性）。
Emmy系统是如何保证AI生成的物理猜想正确性的？
Emmy将生成与验证分离：先调用大模型将开放问题拆解为可验证的数学子假设，再通过Lean形式化证明器、符号计算引擎和高精度验证代码严格筛查。报错的假设被淘汰，通过局部验证的路径保留并衍生，最终Lean代码编译通过则证明定理在数学逻辑上100%可靠。
PSI公司的创始人Alex Wissner-Gross有什么特别背景？
Alex Wissner-Gross是PSI创始人兼首席科学家，曾在MIT同时完成物理、电气工程和数学三个本科学位，并以工程学院第一名毕业，是MIT历史上最后一位三专业本科生（此后MIT取消了该选项）。他于2007年在哈佛获得物理学博士学位，早在2013年就提出用“因果熵力”解释智能行为。
PSI公司的融资情况和投资方有哪些？
PSI已完成5800万美元种子轮融资，领投方是比尔·盖茨创立的Breakthrough Energy Ventures（背后有贝索斯、马云、布兰森等），跟投方包括SV Angel、a16z前合伙人Balaji Srinivasan，以及来自OpenAI、英伟达、Hugging Face、Oracle等公司的个人投资者。
PSI公司计划如何实现商业盈利？
PSI计划从AI数据中心能效优化入手盈利。Emmy系统能从底层物理规律出发，将供电、散热、通信和算力作为整体方程求解，从物理极限上找到更高能效比，解决超算集群中高度耦合的工程优化难题。
PSI的星际探测器任务是什么？
PSI计划在2029年之前发射深空星际探测器“Fermi Explorer”，利用Emmy系统优化出的轻量化工程方案，飞出太阳系，用8万年时间飞向4.2光年外的半人马座。
