Anthropic未发布模型出手：PSI三天证明阿伦森－安拜尼斯猜想
IT之家 11 月 7 日消息，据《商业内幕》今天（7 日）上午报道，AI 帮助攻克了量子计算领域一项长期悬而未决的重大难题。 物理研究机构 Physical Superintelligence（PSI）宣布，借助 Anthropic 一款尚未发布的 AI 模型，量子计算领域的阿伦森－安拜尼斯猜想成功得到证明。 这项猜
据《商业内幕》11 月 7 日上午报道，量子计算领域一项长期悬而未决的重大难题被 AI 攻克。物理研究机构 Physical Superintelligence（PSI）对外宣布，他们借助 
Anthropic 一款尚未发布的 AI 模型，成功证明了量子计算领域的阿伦森－安拜尼斯猜想。
这个猜想 2008 年被提出，此后一直没人能证明。它关注的核心是：量子计算机在什么条件下能跑出远超传统计算机的速度。PSI 自己搭了一套研究系统，用的正是 Anthropic 的模型，证明过程只花了三天。按 PSI 的说法，“量子计算领域最根本的问题之一”就此有了答案。
AI 帮数学研究取得突破的例子还在增多。今年 9 月，OpenAI 就宣布解决了困扰学界 90 年、被称为“数学前沿最深奥的问题之一”的纳维－斯托克斯方程难题。
这次证明阿伦森－安拜尼斯猜想的系统，由 PSI 技术人员戴维 · 图尔图雷安开发，背后是 Anthropic 尚未发布的 AI 模型。至于具体用的是哪一款，PSI 暂时没有透露。
证明给出的结论是：量子计算要想拿到某些指数级的速度优势，得靠问题本身存在的特殊规律或结构。研究人员长期以来的猜测也因此得到证实——量子计算机并非在任何情况下都能获得巨大的性能优势。
当然，在部分任务上，量子计算机依然能大幅提升运算性能。只是这类机器虽然已经问世，技术发展还处在早期阶段。
曾研究过这一猜想的研究人员评价说，这是一项“重大成果”，为存在数十年的难题找到了答案。
