PSI 用非公开 Anthropic 模型证明 2008 年悬置的 Aaronson-Ambainis 猜想
DeryaTR_ · x · 2026-11-07
- Physical Superintelligence（PSI）宣布其内部研发系统用一家非公开的 Anthropic 模型找到了 Aaronson–Ambainis 猜想的证明，终结了这个自 2008 年悬置至今的量子复杂性核心难题。
- 该猜想关乎量子计算机何时能相对经典计算机获得指数级加速，被视为量子计算领域最基础的问题之一，其解决对量子加速的可能性有重大影响。
- 这是「AI 做出重大数学研究突破」的又一标志性案例，且这次是由非头部新公司的内部系统完成。
所属事件:PSI 宣布 AI 系统证明悬置 18 年的 Aaronson-Ambainis 猜想(9 条相关)→
「研究」频道最新
- AISTATS 主席再回应:会议目标是筛选正确论文而非给反馈 — qberthet · 2026-11-07
- 一支蘸错墨水杯的钢笔，如何催生出全球芯片的基石 — aakashgupta · 2026-11-07
- 缓存回复的错大多来自“看似安全”的精确匹配，CacheVerifier 实测揭示反直觉结论 — Reasonable_Royal_621 · 2026-11-07
- Nace AI 提出新训练法 RLAF：用推理模型当裁判教决策模型省 token — nischay_twt · 2026-11-07
- 作者吐槽 ICLR 2027 审稿异常浅薄：普遍两条泛泛意见直接打 2 分 — Charming-Fail-772 · 2026-11-07
- Do as I Do:用人类视频替代机器人采集,机器人数据迎来拐点 — carlosdponx · 2026-11-07