又一重大 AI 研究突破：Physical Superintelligence 称其研究系统使用一个未公开的 Anthropic 模型，证明了自 2008 年以来悬而未决的量子计算核心难题 Aaronson-Ambainis 猜想。
Physical Superintelligence 称，其 AI 研究系统使用一个未公开的 Anthropic 模型，证明了自 2008 年以来悬而未决的量子计算核心难题 Aaronson-Ambainis 猜想。据称该系统在工作的第三天就找到了完整证明，最终版本已通过 Lean 证明助手核验。如果证明成立，这将是 AI 攻克长期悬而未决难题的标志性案例，并有助于阐明量子计算机何时能对经典计算机形成指数级优势。
报道来源
- Kim2026-11-06 16:01