PSI公司用AI系统Emmy解决5个量子信息开放问题

PSI公司宣布其自研AI科研系统Emmy在量子信息理论的5个长期开放问题上取得进展，涉及纠缠提纯、量子场论、高维通信等方向，相关论文、Lean形式化证明和验证代码已公开在GitHub。