11月6日，美国初创公司Physical Superintelligence（下称PSI）发布了一份简短的研究说明，称已经证明计算机科学家斯科特·阿伦森与安德里斯·安拜尼斯在2008年提出的那个猜想。这个猜想悬置了十八年，属于量子复杂性理论的核心开放问题之一。
完成这件事的是一套内部研究系统，运行着Anthropic尚未公开的模型实例，跑在PSI自己的计算设施上。按公司说法，系统在运行的第3天给出了完整证明，数学证明辅助工具Lean接受了它；此后系统被派去做相关的开放问题，途中把结果改进了两次，最终版本同样通过Lean检验。
通俗地说，这个猜想讲的是：量子计算机回答一个关于随机数据的二选一问题、而数据里又没有可利用的结构时，普通计算机几乎能对每个输入预测出它的答案，不需要指数级地多读几遍数据。换句话说，指数级的量子加速得从问题的结构里来。这里说的是算法读取输入的次数，不能直接等同于现实设备的总运行时间，也不意味着量子计算失去价值，肖尔1994年的分解算法就是靠结构取胜的例子。
这套系统由PSI技术人员大卫·图尔图里安开发。按公开说明，他界定了问题范围、跑了系统、提示模型撰写论文初稿，并审阅了论文，对正确性负责。项目说明写明，数学陈述、论文初稿与形式化证明都由AI模型生成。这个分工很值得记下来：机器出内容，人出问题定义与责任签字。
公开出来的东西是可以逐项核对的。GitHub仓库在11月6日以单个提交上线，时间戳是02:47 UTC，内含一份12页论文与84个Lean 4模块，共761个声明。此后两个互相独立的Lean kernel实现重放了全部声明，其中一次是从空环境出发，把Lean核心库与Mathlib一起重新检查了一遍。这种复核方式在形式化数学圈里属于比较硬的验法，它排除的是一类很具体的风险：证明里偷偷引入了未声明的假设。
为什么这一点格外重要，看一段旧账就明白。2019年11月，阿伦森曾公开欢迎内森·凯勒与奥哈德·克莱因的预印本《量子加速需要结构》，把它当作自己与安拜尼斯那个猜想的证明；随后帕塔·伊万尼什维利指出其中引理5.3存在致命缺陷，阿伦森博客顶部至今挂着撤回说明。同一个猜想，被"看起来对"的证明骗过一次，所以这一次的核对才做得这么细。
要理解新证明给了什么，得先看猜想的数学形态。一个做T次查询的量子算法，其接受概率是那些比特的一个实多项式，总次数不超过2T；又因为它是概率，取值始终落在0与1之间。猜想说的是，任何这样的多项式，只要它离常数不够近，就必须至少在一个坐标上"用力"，也就是对某个比特敏感。
这次给出的界是显式的。一个次数为d、方差为ε的多项式，存在某个坐标，其影响力不低于(8√15/125π⁴)乘以ε的5/2次方再除以d的6次方，那个常数约等于0.00254。拿一个次数10的多项式来试，方差取到1/4，也就是取值落在0到1之间的函数能够承载的最大方差，得到的保证是坐标影响力约千亿分之八。
这个数字很小，而它本来就该很小。阿伦森与安拜尼斯要的是ε与1/d的多项式级别的下界，形式对上了，量级上的宽松是这类渐近陈述的常态。所以这个定理是关于极限行为的结论，不是谁在做具体计算时会碰到的量。把这一点讲清楚，比反复强调"AI证明了猜想"更有信息量。
最难的一处，PSI自己在仓库的README里写出来了：Lean的kernel无法判定，栈顶那16行定义是否就是阿伦森与安拜尼斯当年写下的那个东西。这是形式化数学的老问题。机器检查的是"从这个陈述推到那个结论"的每一步是否合法，它不检查陈述本身是不是原问题的忠实翻译。陈述译错，证明再干净，验的也是另一个定理。
人的环节目前是内部审计。PSI顾问吉姆·哈尔弗森审计了证明，另一位顾问菲亚拉·沙纳汉就Lean形式化发表了意见；论文没有经过同行评审，也没有期刊发表。阿伦森与安拜尼斯本人在11月7日之前都没有公开评论。这些都是可以核实的公开事实，不需要额外解读。
外部反应里最有分量的一条来自斯坦福。2026年8月，盖伊·布兰克、乔丹·多克特、卡门·斯特拉斯勒与李扬·谭解决了这个猜想在一个特殊情况下的预测；他们已经读完了完整证明，在给PSI的反馈中称这是"一项重大成果"，并准备为专业人士写一份更简洁的说明。这属于非正式通信，不是评审，但它是目前最接近独立核对的信号。
把这件事当成"AI会不会做数学"的证据，价值有限；当成一套工程流程的样本，能拿出来的东西多得多。从界定问题、跑系统、提示成稿、人工审阅，到形式化、双kernel重放，每一步都有明确的产出物与明确的责任人。模型是这套流程里最容易被替换的零件，难搭的是流程本身。
对做科学计算的团队来说，这意味着门槛的位置变了。过去卡在算力与模型，现在卡在验证链条：Lean与Mathlib的版本锁定、kernel实现的选择、把重放塞进CI、形式化陈述与原问题的对齐由谁担保。这几件事没有一项能靠采购解决，也没有一项能靠换模型提速。
评价标准也会跟着改。以前看的是先提出猜想的人，往后要看三样东西：可重放的声明、独立kernel的复现记录，以及愿意为陈述忠实性署名的人。这三样都能查，也就都能被质疑，这对一个长期靠口头宣称推进的领域是好事。
至于对产业的影响，短期不在算法，而在叙事。如果这个猜想成立，那么拿没有结构的数据去承诺指数级加速的说法，就得先指出结构藏在哪里。这个要求听起来朴素，却能把一批演示性质的量子优势主张挡在门外。