PSI 宣布 AI 系统证明 18 年悬置的量子计算核心猜想

Physical Superintelligence（PSI）官方宣布，其科研系统给出了 Aaronson-Ambainis 猜想的完整证明，该猜想自 2008 年提出，是量子复杂性领域最核心的开放问题之一，对理解量子计算加速意义重大。该系统运行一个未公开发布的 Anthropic 模型，仅用 3 天完成证明，并已经 Lean 形式化验证，展示了 AI 在前沿数学与理论计算机科学研究中的能力。

2026-11-06 ~ 2026-11-07 · 3 条相关

• AI 系统证明 2008 年悬置的 Aaronson-Ambainis 猜想,用量子复杂性问题验证 — inductionheads · 2026-11-06
• 曝 Anthropic 未发布模型 3 天证明 18 年量子计算猜想 — 141_1337 · 2026-11-07

另有 1 条近重复转述:Pyros-SD-Models