初创公司 Physical Superintelligence 宣布 AI 辅助攻克 5 道量子信息难题

新初创公司 Physical Superintelligence 宣布借助自研AI科研系统 Emmy，成功解决了 5 道具有 27 年历史的开放量子问题，相关论文、Lean 形式化证明和验证代码已在 GitHub 上公开。该公司由 Alex Wissner-Gross 等人创立，此前已完成由 Breakthrough Energy Ventures 领投的 5800 万美元种子轮融资。