Anthropic 未发布模型助力证明 2008 年提出的阿伦森-安拜尼斯猜想

物理研究机构 Physical Superintelligence（PSI）宣布，用 Anthropic 一款尚未发布的 AI 模型构建的研究系统，仅用三天完成了自 2008 年悬置至今的阿伦森-安拜尼斯猜想的证明。该猜想研究量子计算机在何种条件下能获得远超传统计算机的运算速度。证明结果显示，量子计算要实现指数级速度优势，必须依赖问题中存在的特殊结构，并非所有场景都有巨大优势。此前 9 月，OpenAI 也曾宣布解决了有 90 年历史的纳维-斯托克斯方程难题。