Aaronson-Ambainis 猜想获证明，ArXiv 发布详细解读

一篇 ArXiv 论文（编号 2611.11626）对 Aaronson-Ambainis 猜想的近期证明做了完整解读。该猜想指出：任何次数为 d 的多项式 p: {0,1}^n → [0,1] 都存在影响力至少为 poly(Var(p)/d) 的变量。这一结论意味着量子查询算法在大多数输入上可以被经典算法高效模拟，并给出了随机预言机世界与真实世界中 BPP 与 BQP 问题的近似等价关系。 论文将证明组织为四个主要步骤，并把每一步与布尔函数分析和概率组合学的已有文献联系起来。为突出核心思路，作者没有优化参数，表述得到的指数弱于原始证明。 作者说明部分披露了一个背景细节：证明由 David Turturean 借助 Physical Superintelligence（PSI）开发的研究系统和一个非公开的 Anthropic 模型完成，随后共享给论文作者撰写解读；Anthropic 的公开模型也参与了这一过程，但作者未从 Anthropic 或 PSI 获得报酬。