AI交出量子计算老难题的证明，数学家又写了30页来解释

AI这次交出的作品，是一份研究了多年的量子计算猜想证明。Physical Superintelligence（PSI）11月6日公布Aaronson–Ambainis猜想的证明，称自建研究系统调用未公开的Anthropic模型，在运行第三天获得完整证明，之后又改进两次。成品可直接查看： https://github.com/physical-superintelligence/aaronson-ambainis 。

这份成果讨论量子计算究竟在什么条件下能大幅领先。论文证明一个关于低次多项式的数学命题，由此推出：对大多数输入，经典算法只需多项式数量的查询，就能近似量子算法的接受概率。这里比较的是读取输入的查询次数，不是宣布普通电脑能在实际运行时间上替代所有量子计算。

人类没有退出。David Turturean搭建研究系统、确定问题并审阅论文；仓库披露，数学陈述、论文初稿和Lean形式化证明由AI模型生成。公开代码让读者可以复查具体证明目标。团队记录了多种检查，但这些运行由作者一方完成，不能当成第三方复现；形式化检查也不自动验证论文里的所有解释和量子计算推论。

11月8日，Guy Blanc等四位研究者另交出30页阐释稿，说明他们如何理解这份证明，并披露也使用了Anthropic公开模型。Business Insider已跟进报道，观察时间为北京时间2026年11月13日15:59／美国东部时间02:59（EST）。成果属于AI与人协作的数学证明，不是新量子芯片；总研发时长和计算费用未披露。

来源时间：PSI公告标注2026年11月6日，原文未标注具体发布时间，近期性由11月6日论文、11月8日阐释稿确认；原论文：北京时间11月7日01:36:58／美国东部11月6日12:36:58（EST）；代码与验证文档版本提交：北京时间11月6日10:47:20／美国东部11月5日21:47:20（EST），这是提交记录时间；阐释稿：北京时间11月9日05:17:01／美国东部11月8日16:17:01（EST）；Business Insider：北京时间11月7日08:49:10／美国东部11月6日19:49:10（EST）。