怎么看AI物理公司PSI，用非公开Anthropic模型证明了Aaronson-Ambainis猜想？
2026-11-07 阅读 0
如果这条消息属实，值得关注的首先不是“AI突然证明了一个猜想”，而是证明链条能否被独立检查。Aaronson–Ambainis猜想属于理论计算机科学与量子计算交界处，核心关切可粗略理解为：量子查询算法是否必然能把显著影响分散到足够多的输入变量上；精确定义和版本很重要，不能只凭标题判断结果覆盖了什么。
“用了非公开的Anthropic模型”本身既不是加分也不是减分。它可能说明模型在复杂推理、搜索证明路线或形式化证明上有能力，但外界无法复现实验，也无法据此判断究竟是模型提出关键论证、研究者筛选修补，还是计算工具做了大量验证。重要证据应是可公开的定理陈述、完整证明或形式化脚本、依赖的引理与参数、以及对已知特例和边界情形的核查。若论文暂未公开，最好把它视为待核实的研究声明，而非已确立的数学成果。
即使证明最终成立，意义也要看它是否解决了原猜想、某个受限版本，还是只改善了下界/常数；还要看新方法能否迁移到其他问题。可以重点追问：证明是否经同行或独立专家逐步审查？机器可检验证书是否开放？模型生成部分与人类验证部分如何划分？有没有排除定义变化、隐含假设和计算规模限制？
因此我的暂时评价是：这是值得跟进的“AI辅助数学研究”案例，但在论证公开并经过独立复核前，最稳妥的说法是“据称获得了证明”，而不是“猜想已被AI证明”。最终功劳也应按可审计的研究过程归属，而不只按模型品牌或宣传标题归属。
更新于 2026年11月12日
赞 13
