量子计算领域一个自 2008 年提出就没人证明的猜想，被 AI 在三天内解决了。物理研究机构 Physical Superintelligence（PSI）宣布，他们用 Anthropic 一款尚未发布的模型，证明了阿伦森－安拜尼斯猜想。
这个猜想问的是：量子计算机到底在什么条件下才能获得远超传统计算机的运算速度。它属于量子计算的理论地基，十八年没有答案。
PSI 的做法是自己搭了一套研究系统，核心是 Anthropic 那个未公开的模型，整套系统跑完证明只花了三天。PSI 称这意味着「量子计算领域最根本的问题之一」被解决。系统由该机构技术人员戴维·图尔图雷安开发，但具体用的是哪款模型，官方没有透露。
证明本身的结论比过程更值得琢磨：量子计算要拿到某些指数级的速度优势，必须依赖问题里存在的特殊规律或结构。这印证了研究者长期以来的猜测——量子计算机不是在所有场景下都能一骑绝尘。
当然，部分任务上量子计算机仍能大幅提速。而且这个领域本身还很早期，真机能力远没跟上理论推演。
AI 辅助数学研究的案例正在密集出现。今年 9 月 OpenAI 曾宣布解决有 90 年历史的纳维－斯托克斯方程难题。此前研究过阿伦森－安拜尼斯猜想的研究者评价，这次是「重大成果」，为存在数十年的难题找到了答案。
原创文章，作者：潮玩君，如若转载，请注明出处：https://www.kejixun.co/article/767508.html
