PSI自研AI科研系统首秀：解决5道量子信息开放难题

10月28日，Physical Superintelligence（PSI）宣布，借助自研AI科研系统，在量子信息理论的5个开放问题上取得成果。相关论文、Lean形式化证明和验证代码已在GitHub公开。

这5道难题来自具有27年历史的开放量子问题（OQP）目录，由德国物理学家Reinhard Werner于1999年建立。它们横跨纠缠提纯、量子场论、高维量子通信、量子信道容量与量子因果律等方向，其中OQP 2、OQP 12、OQP 27三道题于本世纪初被收录。

PSI成立于2026年9月1日，此次是其公布的首个成果。该公司以“让科学发现从天才走向规模化”为愿景，曾宣称要建成“世界上最先进的物理研究实验室”。其自研AI科研系统Emmy将问题生成与验证分离：先调用前沿大模型将开放难题拆解为可验证的数学子假设，再通过Lean形式化证明器、符号计算引擎和验证代码进行严格筛查，通过编译意味着结论在数学逻辑上获得确认。

据公开信息，PSI在2026年9月亮相时已完成5800万美元种子轮融资，由Breakthrough Energy Ventures领投，并吸引来自OpenAI、英伟达、Hugging Face等科技公司的个人投资者参与。