11 月 7 日上午据《商业内幕》报道，AI 帮助攻克了量子计算领域一项长期悬而未决的重大难题。物理研究机构 Physical Superintelligence 宣布，借助 Anthropic 一款尚未发布的 AI 模型，阿伦森与安拜尼斯猜想成功得到证明。这项猜想自 2008 年提出以来一直未获证明，研究的是量子计算机在何种条件下能够获得远超传统计算机的运算速度。
三天完成一套自研研究系统
PSI 自行开发了一套采用 Anthropic 模型的研究系统，仅用三天就完成了证明。PSI 的技术人员戴维与图尔图雷安主导了这套系统的开发，系统所用的是 Anthropic 尚未发布的 AI 模型，具体是哪一款模型目前不得而知。PSI 表示，这次行动意味着量子计算领域最根本的问题之一得到解决。
证明结果反直觉
证明结果显示，量子计算要实现某些指数级的速度优势，必须依赖问题中存在的特殊规律或结构。这同时也证实了研究人员长期以来的猜测，量子计算机并非在所有情况下都能获得巨大的性能优势。不过在部分任务上，量子计算机仍能大幅提升运算性能，需要注意的是量子计算机虽然已经问世，但技术发展仍处于早期阶段。
此前研究过这一猜想的研究人员称，这是一项重大成果，为存在数十年的难题找到了答案。
AI 介入数学证明的密度在上升
AI 辅助数学研究取得突破的案例还在增加。今年 9 月，OpenAI 宣布解决了有 90 年历史、被称作数学前沿最深奥问题之一的纳维与斯托克斯方程难题。
从研究方法看，这类工作与PSI 攻克 5 道量子开放问题并用 Lean 4 验证属于同一条脉络，差别在于本次聚焦的是单个猜想的形式化证明。
延伸阅读
- Anthropic S-1 新增 2 条风险：警告很快触及递归自我改进5 天前
- Claude Code v2.1.311 免批准变量：6 种权限模式与拦截差异1 周前
- 吉利联合气象局发布交通气象大模型：领克 900L 首个量产4 小时前
- Anthropic 11 月 5 日首签美联社，首次付费买新闻内容2 天前
AI 自学笔记 每天更新 AI 前沿动态，订阅 RSS，或按 Ctrl/⌘+D 收藏本站，明天见。
继续读
同一批更新里这几篇值得一看：
- 苹果 HALO 人形机器人：360 次实测 91% 成功率 用 Qwen3.62026-11-07
- DeepSeek 服务中断 45 分钟：11 月 7 日 15 时 11 分起2026-11-07
- Meta 警告选举反弹：数据中心 23 个州 5 个项目待批2026-11-07