初创公司 Physical Superintelligence 借助 AI 攻克 5 道量子信息开放难题

初创公司 Physical Superintelligence 宣布借助自研AI科研系统 Emmy，在量子信息理论的 5 个历史开放问题上取得突破，并公开了相关论文、Lean 形式化证明与验证代码。该系统通过将宏观物理学问题拆解为子假设，并结合 Lean 形式化证明器和符号计算引擎进行严格验证，试图实现科学发现的规模化。