PSI 称 AI 系统解出量子信息论五个开放问题

9 月以 5800 万美元种子轮成立的 Physical Superintelligence PBC（PSI）宣布，其与 AI 研究系统协作，在量子信息理论领域取得五个长期开放问题的新结果。每项成果均附论文、Lean 形式化证明和验证代码，以供社区核查。

2026-10-27 ~ 2026-10-27 · 2 条相关

• PSI 用 AI 研究系统攻克量子信息五个公开问题，附 Lean 形式化证明 — IgorCarron · 2026-10-27
• 融资 5800 万的 PSI 宣布用 AI 解出五个量子信息开放问题，附 Lean 形式化 — burny_tech · 2026-10-27