初创公司 PSI 借助自研 AI 系统突破 5 道开放量子信息难题

初创公司 Physical Superintelligence 宣布借助自研 AI 系统 Emmy，辅助攻克了开放量子问题目录中的 5 道量子信息开放难题。该系统将大模型子假设拆解与 Lean 形式化验证器结合，相关论文、形式化证明与代码已在 GitHub 开源。团队计划将该方法拓展至数据中心能效优化与深空探测工程。