PSI用AI证明阿伦森-安拜尼斯猜想，量子计算对随机数据无指数级优势

Physical Superintelligence（PSI）团队用自建AI系统证明了困扰量子计算领域近二十年的阿伦森-安拜尼斯猜想（Aaronson-Ambainis conjecture）。系统运行未公开的Anthropic模型，结合Lean交互式定理证明器逐步验证推导。系统在运行第三天找到完整证明，随后连续两次自我完善并全部通过Lean验证。结论表明量子计算机面对随机数据不会产生指数级加速，普通计算机只需读取少数关键位就能以多项式级工作量模拟，量子优势仅存在于高度特定规律的数据上。