先了解这件事
AI 综述
成立不到两个月的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领投。
AI 根据公开报道生成
最新进展 · 正式报道
PSI称用AI系统突破5道量子开放问题事件进展
1 个已确认进展
- 来源：量子位
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月29日
量子位精选
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领投。