PSI称AI系统解出量子信息论五个开放问题

Physical Superintelligence PBC（PSI）宣布，其与AI研究系统协作取得量子信息理论五个长期开放问题的新结果。每项成果均附有论文、Lean形式化证明和验证代码，供社区核查。