PSI 利用自研系统 Emmy 辅助解决 5 道长期量子公开问题

初创公司 Physical Superintelligence（PSI）宣布利用自研 AI 科研系统 Emmy，在 5 道具有 27 年历史的开放量子问题（OQP）上取得突破，相关形式化证明与验证代码已在 GitHub 开源。