PSI用AI证明阿伦森-安拜尼斯猜想，量子计算对随机数据无指数级优势
精选理由
一家叫PSI的团队让AI模型配Lean证明器，三天内证出二十年的量子计算猜想，过程全公开可查。
Physical Superintelligence（PSI）团队用自建AI系统证明了困扰量子计算领域近二十年的阿伦森-安拜尼斯猜想（Aaronson-Ambainis conjecture）。系统运行未公开的Anthropic模型，结合Lean交互式定理证明器逐步验证推导。系统在运行第三天找到完整证明，随后连续两次自我完善并全部通过Lean验证。结论表明量子计算机面对随机数据不会产生指数级加速，普通计算机只需读取少数关键位就能以多项式级工作量模拟，量子优势仅存在于高度特定规律的数据上。
原文 · Gorden Sun
量子计算的泡沫破灭了？
Physical Superintelligence（PSI）通过AI系统成功证明了困扰量子计算领域近二十年的阿伦森-安拜尼斯猜想（Aaronson-Ambainis conjecture）。
学界长期无法从数学上确定，量子计算机在处理毫无规律的随机数据时，究竟能不能比普通计算机展现出巨大的计算速度优势。
PSI团队自主搭建了一套研究系统，在自有的计算基础设施上运行未公开的Anthropic模型，并结合Lean交互式定理证明器对每一步推导进行计算机级严格验证。
系统在运行第三天就找到了完整证明，并连续两次自我完善成果，最终全部通过Lean的验证。这一结论彻底确立为数学定理，证实量子计算机面对随机数据并不会产生指数级加速，普通计算机通过读取少数关键位就能以多项式级工作量模拟该过程，量子计算唯有面对高度特定规律的数据才能形成碾压优势，为整个量子计算的基础理论划定了明确边界。
PSI研究主页：https://t.co/WmzNE4RxOc
