PSI称用AI系统突破5道量子开放问题
成立不到两个月的Physical Superintelligence(PSI)称,其自研AI科研系统Emmy在量子信息理论的5个开放问题上取得成果,论文、Lean形式化证明和验证代码已发布在GitHub供审查。这5道题来自德国物理学家Reinhard Werner于1999年建立的开放量子问题目录,横跨纠缠提纯、量子场论、高维量子通信、量子信道容量与量子因果律五个方向,其中OQP 2、OQP 12、OQP 27在本世纪初即被收录。Emmy将难题拆解为可验证的数学子假设,再交由Lean形式化证明器、符号计算引擎和高精度验证代码筛查,编译通过才视为成立。PSI于今年9月亮相,已完成5800万美元种子轮融资,由Breakthrough Energy Ventures领投。
推荐理由一家成立不到两个月的公司用自研系统挑战27年历史的量子开放问题目录,读者可据此观察AI科研系统的验证路径。
