PSI 用非公开 Anthropic 模型攻克阿伦森-安拜尼斯猜想：量子计算 18 年悬案告破
PSI 团队借助非公开的 Anthropic 模型与 Lean 验证器，仅用 3 天便完整证明了悬而未决 18 年的阿伦森-安拜尼斯猜想。该定理正式确认量子计算机处理无规律随机数据时无法实现指数级加速，彻底为量子计算划定了严格的数学边界。
PSI 团队借助非公开的 Anthropic 模型与 Lean 验证器，仅用 3 天便完整证明了悬而未决 18 年的阿伦森-安拜尼斯猜想。该定理正式确认量子计算机处理无规律随机数据时无法实现指数级加速，彻底为量子计算划定了严格的数学边界。