AI在基础科学领域的介入正从辅助工具走向问题求解者。据《商业内幕》11月7日报道，物理研究机构Physical Superintelligence（PSI）宣布，量子计算领域一项长期悬置的理论难题已被攻克——阿伦森-安拜尼斯猜想获得证明，而完成这一工作的核心是一套基于Anthropic未发布AI模型构建的研究系统。

该猜想由2008年提出，至今十余年未获证明，其核心议题是量子计算机在何种条件下能够取得远超传统计算机的运算速度。PSI技术人员戴维·图尔图雷安主导开发了这套研究系统，仅用三天便完成证明流程。PSI方面称，这标志着“量子计算领域最根本的问题之一”得到解决。不过，PSI并未披露具体调用了Anthropic的哪一款模型。

证明结果给出了一个相对克制的结论：量子计算若要实现某些指数级的速度优势，必须依赖问题本身所包含的特殊规律或结构。这印证了研究人员长期以来的判断——量子计算机并非在所有场景下都能获得巨大性能优势，但在部分特定任务上，其运算性能仍可大幅提升。

这一进展也是AI辅助数学研究持续升温的缩影。今年9月，OpenAI曾宣布解决拥有90年历史的纳维-斯托克斯方程难题，称其为“数学前沿最深奥的问题之一”。与此同时，量子计算虽已进入实用化探索阶段，技术发展整体仍处于早期，此次理论层面的澄清或将为后续研究提供更清晰的边界认知。