发生了什么
- 一项数学证明解决了自2008年起悬而未决的一个猜想，涉及量子计算机在什么情况下能够取得相对传统计算机的巨大优势。
- 该结果证明了 Aaronson-Ambainis 猜想，把一个关于数学函数的问题，与巨大的加速是否需要问题具备特殊结构联系了起来。
- 这项工作由 Physical Superintelligence（PSI）的 David Turturean 发布在 GitHub 上，The Quantum Insider 于2026年11月6日作了报道，并称其有 AI 辅助。
- 该定理为量子算法在无结构输入上胜过经典算法的程度设定了上限。
为什么重要
如果巨大的量子加速需要问题具备结构，那么寻找有用算法就应该盯住具有对称性或规律的问题，而不是任意的数据。这一结果加强了支持这一方向的理论。它也是 AI 参与数学研究的一个具体例子：文中没有详述模型贡献了什么，因此“辅助”引出一个问题——当机器参与合作时，证明该如何检验、如何署名。
关键数字
2008年。 猜想提出的年份。解决它用了大约18年，并且据该媒体所述，成果是以一份 GitHub 文档的形式出现的，还不是经同行评审的论文。
背景
这类猜想连接着布尔函数（研究变量的影响力）和量子算法（成本以查询次数计）。该媒体指出，这一定理并不能判定哪些应用会带来有用的加速。在相关话题上，Mamífero 还发布过：一项研究汇集了24个量子计算机可能胜过经典计算机的问题；IBM、橡树岭和 AMD 把量子计算与经典计算结合起来纠错；中国空间站上的量子气体降至10皮开尔文以下；Axiom 用智能体验证 Stacks 项目，共7654页高等数学。
接下来
- 这一证明必须通过专家评审，才能被视为获得认可。
- 如果得到确认，研究者就可以把精力集中在具有可利用结构的问题上。
- 模型贡献了多少推理，以及每一步是如何验证的，都应当予以澄清。
一句话总结
一个被证明的界限与一种新算法同样有价值：它告诉你哪里不必去找。它有机器的帮助，正是我们仔细审视如今证明是如何做出来的理由。
来源
- Matt Swayne，“AI-Assisted Proof Settles Longstanding Question About Quantum Speedups”，The Quantum Insider，2026年11月6日。依据该媒体的文章撰写；未审阅原始 GitHub 文档，也未验证该证明。
- 封面图片：PantheraLeo1359531，CC BY 4.0，来自 Wikimedia Commons
编辑：Rodrigo Cornejo。我们如何挑选和核实：谁在写这些笔记。
