Anthropic 模型证明二零零八年量子猜想获验证

一、未公开模型三天内完成十八年未解猜想证明

据 Silicon Noon 报道，Physical Superintelligence（PSI，物理超智能实验室）11月6日宣布，其内部研究系统运行未公开的Anthropic 模型，在自有基础设施上运行第三天，完整证明了2008年提出的阿伦森–安拜尼斯猜想（Aaronson–Ambainisconjecture）。这一猜想自2008年提出以来已经存在十八年，长期未被完整证明，此次由人工智能模型在三天内完成证明，引发了学界与产业界的关注。证明已经由Lean形式化验证工具核对，这意味着证明过程经过了机器可核查的形式化检验，而不仅仅是文字层面的论证。相关方尚未公开模型的完整细节与证明全文，更多技术信息仍有待进一步披露。

二、形式化验证为机器证明提供可核查依据

阿伦森–安拜尼斯猜想属于量子计算理论领域，涉及量子算法与经典算法之间的关系等基础问题，十八年来一直是理论计算机科学领域受到关注的开放问题之一。此次证明由未公开的Anthropic 模型完成，运行环境是 Physical Superintelligence的自有基础设施，运行到第三天时得出完整证明，这一时间线显示出模型在长时间连续推理任务中的持续工作能力。证明由 Lean形式化验证工具核对，是此次宣布中的关键环节：形式化验证要求证明的每一步都符合严格的逻辑规则，机器核对通过意味着证明在形式层面是完整与自洽的。这与以往由人类数学家撰写、再由同行评审的证明流程不同，机器证明加机器核对的组合，正在为数学研究提供一种新的工作方式。

三、人工智能参与基础数学研究引发关注

如果这一证明得到学界进一步确认，将成为人工智能模型参与基础数学研究的又一个标志性案例。此前人工智能在数学领域的应用多集中在辅助计算与猜想探索，此次直接完成一个存在十八年的开放猜想的完整证明，显示出模型在理论推理方面的能力正在向更深层次推进。对研究机构而言，内部研究系统加未公开模型的组合，也表明前沿实验室正在把模型能力用于自身的研究议程，而不只是对外提供产品服务。未来需要关注的是，证明全文何时公开、同行专家如何评价，以及这一方法能否推广到其他开放问题。无论如何，这一事件已经让人工智能在基础科学研究中的角色，成为值得持续观察的话题。

信源跟踪： Silicon Noon | 数据时间： 北京时间 2026年11月6日