# AI证明量子计算猜想

- 地址：https://1ms.news/events/2148
- 首发：2026-11-08 17:04（北京时间），风向旗参考快讯
- 最新：2026-11-09 16:02（北京时间）
- 报道：2 家来源，2 条
- 原文：https://t.me/theblockbeats/204922

## 摘要

Physical Superintelligence借助Anthropic未发布模型，证明了近20年的Aaronson–Ambainis猜想，AI运行第三天得出完整证明并通过Lean验证。证明显示数据完全随机时，量子计算机在判断是否类问题上无法取得指数级的查询次数优势，猜想提出者Aaronson称Shor算法等实际速度优势不受影响。

## 原文片段

> Anthropic神秘模型攻克量子计算重要猜想，困扰数学界近20年的难题解决了
> 
> 动察 Beating AI 快讯，AI 研究公司 Physical Superintelligence（PSI）宣布，借助 Anthropic 一款尚未发布的模型，证明了困扰数学界近 20 年的 Aaronson–Ambainis 猜想。AI 在运行第三天就找到了完整证明，并通过 Lean 数学验证工具的检查。
> 
> 这项猜想由两位科学家在 2008 年提出，研究的是量子计算机的速度优势究竟有多大。
> 
> 量子计算机在处理某些问题时，可能比普通计算机快上亿倍。比如分解一个特别大的整数，普通计算机用已知算法可能需要极长时间…

## 事件进展（最新在上）

- 2026-11-09 16:02 · 更新 · BlockBeats：AI证明量子计算猜想。（https://t.me/theblockbeats/204922）
- 2026-11-08 17:04 · 首发 · 风向旗参考快讯：AI三天证明量子猜想。物理超智能实验室PSI称，用Anthropic未公开模型三天证明了2008年提出的阿伦森—安拜尼斯猜想，论文与代码已公开，并通过Lean检验，成果仍待学界进一步独立审查。（https://t.me/xhqcankao/32982）

---
来自 1ms.news（https://1ms.news）。内容整理自公开来源，以原文为准。