PSI称AI辅助解决5道量子信息开放问题

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