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

Physical Superintelligence（PSI）称借助自研AI科研系统Emmy，在量子信息理论5个开放问题上取得成果，论文、Lean形式化证明和验证代码已在GitHub公开供审查。