AI 证明 Aaronson-Ambainis 猜想：量子计算理论重大突破

AI 证明了 Aaronson-Ambainis 猜想，该猜想涉及布尔变量多项式与量子查询复杂度的关系，由 Physical Superintelligence 使用内部 Claude 模型和专有研究框架完成，证明包含 Lean 证书并经人类专家验证。该结果排除了一类在随机预言机下量子优势的可能性，但不影响 Shor 算法或量子物理模拟等实际应用。