物理超级智能实验室周五称，其内部研发的研究系统在自有算力上运行，调用Anthropic一款未向公众开放的模型，于开跑第三天完成对Aaronson–Ambainis猜想的证明，并由证明助手Lean逐步验收；随后系统又两次改进结果，最终版本同样通过Lean。该猜想自二零零八年提出，被视为量子复杂度理论的核心开放问题之一。

猜想的直观含义是：在缺乏特殊结构的随机输入上，量子计算机对是非问题能否相对经典计算机取得指数级加速。证明成立后，实验室称可据此确认——对这类问题，除非输入带有罕见模式，量子机最多只能取得多项式量级的查询优势，而不能指望指数级「少读很多遍」。

斯坦福大学相关方向研究者在读完整证明后评价称，这是「巨大成果」，解决了关乎何种问题才真正享有量子加速的数十年猜想，并把布尔函数分析与概率组合等多条线索「以相当奇妙的方式拼到一起」。实验室技术成员主导系统设计与跑题；顾问审计证明并评论Lean形式化。

具体使用了哪一版未发布模型并未披露；Anthropic未立即回应媒体置评请求。人工智能辅助攻克数学与理论计算机难题的案例近来增多，但外部独立复现与人类对形式化陈述是否精确对应原猜想的核对仍需时间。对量子硬件业界而言，结果并未否定肖尔算法一类「有结构」加速，而是更清晰地划出「无结构」场景下的上限。

下南洋预测市场：https://tonanyang.cc/webapp/