一句话看懂：AI 物理初创公司 PSI 称，其运行的一套非公开 Anthropic 模型证明了自 2008 年悬而未决的量子计算猜想 Aaronson-Ambainis；若结论成立，将是 AI 辅助数学研究的一次具体案例。
事件核心：发生了什么
据 Techmeme 2026 年 11 月 6 日收录的信息，PSI 表示，一套运行非公开 Anthropic 模型（即未对外发布的模型版本）的系统，证明了 Aaronson-Ambainis 猜想。该猜想与量子计算相关，自 2008 年起一直未被解决。目前公开信息显示，PSI 是宣布方，证明细节、验证方式以及该非公开模型的调用条件均未在素材中披露。
为什么重要
数学猜想被 AI 系统攻克，重点不只是一条定理，而是“AI 能否产出可核验的严格推理”。当前大模型的强项多集中在代码、文本和检索增强推理，涉及量子计算这类高门槛领域时，常见问题包括推理链条不透明、结论难以复核。若该证明经数学界独立检验，说明前沿闭源模型在辅助数学研究上可以承担更实质的角色；若验证不通过，也会提醒行业对“AI 证明”类宣示保持审慎。
对用户/开发者/创作者的影响
对普通用户，这类进展短期内不会变成可直接使用的产品功能。对开发者和研究者，更值得观察的是其工作方式：是否通过 API 或特定接口调用模型、是否结合符号计算与验证工具、推理成本如何。这也提示闭源模型的能力差异不只体现在通用评测分数上，还体现在高难度科学任务中的表现。创作者和科普内容作者则应区分“公司宣称”与“经同行验证的结论”，避免把单一案例写成通用能力。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
一是数学界或量子计算领域是否对该证明给出独立验证；二是 PSI 是否公开证明全文、实验设置和模型调用细节；三是 Anthropic 是否回应，以及该非公开模型是否以 API 或产品形式向研究者开放。
来源：Techmeme
