PSI 称其 AI 研究系统在量子信息五个公开问题上取得新结果，附 Lean 形式化证明

Physical Superintelligence PBC（PSI）宣布其 AI 研究系统协助在量子信息论五个长期公开问题上取得新结果，每项均附论文、Lean 形式化和验证代码，仓库记录了 AI 在各项中的使用方式。