PSI 用 AI 系统 Emmy 突破 5 道量子信息开放问题

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