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

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