Anthropic未公开模型出手：3天给出量子计算猜想证明
物理超智能实验室称，其利用Anthropic一款尚未公开的模型，在3天内给出量子计算“阿伦森—安拜尼斯猜想”的完整证明，最终版本通过Lean检验。若证明成立，某些显著的量子加速将依赖问题或输入中的特殊结构，但这不等于量子计算失去价值；目前该成果尚未被独立复现，也未经期刊同行评审。
北京时间11月8日，据Business Insider报道，物理超智能实验室Physical Superintelligence（PSI）对外称，他们借助一款
Anthropic尚未公开的模型，只用3天就找到了量子计算领域“阿伦森—安拜尼斯猜想”的证明。这个猜想2008年被提出，至今没有定论，讨论的是量子计算机在哪些情形下能比传统计算机快出一大截。
PSI已经把论文和证明代码公开，并表示证明通过了数学证明辅助工具Lean的校验。此前研究过该问题的斯坦福大学学者已经读过这份证明，也给出了意见，不过成果还要等学界进一步独立审查。
这套研究系统由PSI技术人员大卫·图尔图里安（David Turturean）开发，跑在实验室自己的基础设施上，调用的是Anthropic未公开的模型。具体是哪个模型，PSI没有透露。Business Insider称，Anthropic没有回应置评请求。
按PSI的说法，系统运行到第3天就拿出了完整证明，之后又改了两轮，最后一版同样通过了Lean检验。
PSI公开的项目说明显示，数学陈述、论文初稿和形式化证明都由AI模型生成。图尔图里安审阅了论文，并对论文的正确性负责。
阿伦森—安拜尼斯猜想由计算机科学家斯科特·阿伦森（Scott Aaronson）和安德里斯·安拜尼斯（Andris Ambainis）提出，关注的是量子计算优势的边界在哪里。
PSI介绍，假如这一证明成立，那么对特定的二选一计算问题，在大多数随机输入上，量子计算机读取输入的次数相比传统计算机拿不到指数级优势。换句话说，某些显著的量子加速，要靠问题或输入里的特殊结构。这里说的是算法读取输入的次数，和现实设备的总运行时间不是一回事。
当然，这个结论不代表量子计算就没价值了。PSI举例说，彼得·肖尔（Peter Shor）1994年提出的量子算法就利用了问题中的特定结构，在大整数分解上比已知的传统计算方法快得多。
PSI称，斯坦福大学研究人员盖伊·布兰克（Guy Blanc）、乔丹·多克特（Jordan Docter）、卡门·斯特拉斯勒（Carmen Strassle）和李扬·谭（Li-Yang Tan）此前已在一种特殊情况下解决了相关问题。这四人正在读PSI的完整证明，并打算为专业人士写一份更简洁的说明。他们在给PSI的反馈中称，这是一项“重大成果”。
独立研究追踪平台State of Proof表示，PSI公开的Lean检验记录为审查提供了材料，但该平台还没有独立重现这次检验，也没有确认研究是否完成了期刊同行评审。
