PSI 称用自研 AI 科研系统解决 5 道量子信息开放问题

据量子位报道，成立不到两个月的物理超级智能公司 Physical Superintelligence（PSI）称，其自研 AI 科研系统 Emmy 在量子信息理论的 5 个开放问题上取得进展。题目取自德国物理学家 Reinhard Werner 于 1999 年建立的开放量子问题目录，分别涉及负偏置转置态的纠缠不可蒸馏性、真空纠缠与贝尔不等式、CGLMP 贝尔不等式的最优测量、PPT 平方猜想与纠缠破坏、量子因果过程的可纯化性。

按其描述，Emmy 先把大问题拆成可验证的数学子假设，再交给 Lean 形式化证明器、符号计算引擎与高精度验证代码筛查：报错的假设当场淘汰，通过局部验证的路径继续衍生，最终 Lean 代码编译通过才视为成立。论文、Lean 证明与验证代码已在 GitHub 贴出供学界审查。PSI 于今年 9 月 1 日公开亮相，此前宣布完成 5800 万美元种子轮融资。

这条消息的分量不在“AI 又攻下一门学科”的口号，而在把生成与验证拆开：证明可编译、代码可复现，结论就能被同行逐行审。5 个命题是否真成立仍待社区核验，但至少把可检验性摆到了台面上。