Physical Superintelligence 借助自研 AI 系统辅助解决 5 道量子信息开放难题

初创公司 Physical Superintelligence（PSI）宣布借助自研 AI 科研系统 Emmy，辅助解决了开放量子问题（OQP）目录中的 5 道量子信息难题，并在 GitHub 开源了论文、Lean 形式化证明与验证代码。