AI 系统证明 2008 年悬置的 Aaronson-Ambainis 猜想,用量子复杂性问题验证
inductionheads · x · 2026-11-06
Physical Superintelligence(PSI)宣布,其内部研发的科研系统在一轮运行中给出了 Aaronson-Ambainis 猜想的完整证明,并经 Lean 证明助手逐步验证通过。这是量子计算领域的中心开放问题之一。
- 猜想由 Scott Aaronson 与 Andris Ambainis 于 2008 年提出:若其为真,则量子计算机在无结构随机输入上相对经典计算机最多只有多项式加速(区别于 Shor 算法依赖的输入结构)
- 系统使用非公开的 Anthropic 模型实例,在 PSI 自有基础设施上运行,第三天得出完整证明,后续还两次改进了结果,Lean 均验证通过
- 证明建立在 Shachar Lovett 与 Jiapeng Zhang、David Reimer 等人此前工作的基础上
- 若属实,这是 AI 系统「以机器可检验形式解决基础数学开放问题」的标志性案例;公司称该系统为内部研发、模型未公开,细节待独立确认
所属事件:PSI 宣布 AI 系统证明 18 年悬置的量子计算核心猜想(3 条相关)→
「漫话AGI」频道最新
- 「起飞始于 11 月 24 日的 Opus 4.5」：能力指数增长论又刷屏 — scaling01 · 2026-11-07
- AI 时代创作者困局：冒名顶替综合征蔓延，创意作品正被 AI 洪水稀释 — sull · 2026-11-07
- 「今天从零创办公司，我们不会有这么多人」——AI 公司规模反思引热议 — bigdata · 2026-11-07
- 设计工程师用 AI 自动出图，砍掉自己年值 5.6 万美元的制图工作 — luisdans · 2026-11-07
- 蔡崇信畅想 AI 时代治理:居民提案投票,按耗电付费 — yunta_tsai · 2026-11-07
- eigenrobot 谈当代迷思：否认美之真实是一种发展性失败 — eigenrobot · 2026-11-06