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

9 月以 5800 万美元种子轮成立的 Physical Superintelligence PBC（PSI）宣布，其 AI 研究系统在量子信息理论领域就五个长期开放问题取得新结果。每项成果都附有论文、Lean 形式化证明和验证代码，供社区核查。