PSI公司称自研AI攻克5道量子开放问题

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

SI 根据报道生成 · 58 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。