初创公司借助AI系统攻克5道量子难题

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

AI 根据报道生成 · 1 小时前更新

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