AI证明量子计算猜想
摘要
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 年提出，研究的是量子计算机的速度优势究竟有多大。 量子计算机在处理某些问题时，可能比普通计算机快上亿倍。比如分解一个特别大的整数，普通计算机用已知算法可能需要极长时间…
事件进展 共 2 条 ，最新在上
-
AI证明量子计算猜想
-
AI三天证明量子猜想
物理超智能实验室PSI称，用Anthropic未公开模型三天证明了2008年提出的阿伦森—安拜尼斯猜想，论文与代码已公开，并通过Lean检验，成果仍待学界进一步独立审查。
