PSI公司借自研AI系统攻克5道20多年量子开放问题

PSI公司宣布借助自研AI科研系统Emmy攻克5道量子信息开放问题，相关论文、Lean形式化证明与验证代码已在GitHub发布。该系统将问题拆解为子假设并用形式化验证筛查，确保数学逻辑无误。这5道题来自1999年建立的开放量子问题目录，其中3道本世纪初已收录。