2008年，Scott Aaronson和Andris Ambainis提出猜想：量子计算机在处理无结构随机问题时，能否比经典计算机指数级更快？18年没人证成。

2026年11月6日，研究机构Physical Superintelligence（PSI）宣布：他们内部的AI研究系统，用一个未公开的Anthropic模型，第3天就跑出了完整证明，随后还自我优化了两次。证明用Lean 4证明助手逐行机器验证通过，仓库显示648个定理、零占位符、零额外公理，且经lean4lean独立复核。

结论很反直觉：在大多数随机输入上，量子算法无法取得指数级加速，经典算法用多项式查询就能逼近。这不是说量子没优势，而是在“最无聊的随机题”上，优势有上限。

“量子计算机在某些问题上超快，但当信息本质上是随机时，那种巨大优势就没了。AI花3天解了人类18年的题。”

需要诚实补充：命题形式是否与原猜想100%对应，还需人工数学家确认；自然语言论文部分非机器验证；模型不公开，无法复现。但Stanford在8月刚证出特例的团队（Blanc等）已评价：这是 monumental（里程碑）结果。