PSI用AI系统Emmy攻克5道量子信息开放问题

成立不到两个月的Physical Superintelligence（PSI）宣布，其自研AI科研系统Emmy辅助解决了量子信息理论5个开放问题，论文、Lean形式化证明和验证代码已发布在GitHub供审查。