PSI披露突破性成果：三天内完成量子猜想证明

物理超智能实验室（PSI）宣布，其团队在短短七十二小时内，借助一款尚未对外公布的Anthropic大模型，成功推导出量子计算领域“阿伦森—安拜尼斯猜想”的完整证明。该猜想自2008年提出以来，始终困扰学术界，核心在于界定量子计算机在何种条件下可实现对经典计算的指数级加速。

研究成果通过形式化验证，进入学界审阅阶段

PSI已将完整证明过程、数学推导及可执行代码提交至公共平台，并确认其结果已通过数学辅助验证系统Lean的严格检测。斯坦福大学曾参与该课题研究的学者已获邀审读，提供初步反馈，但目前成果仍需等待更广泛的同行独立复现与评审。

专用系统支撑实验，依赖未公开模型运行

此次计算任务由实验室技术负责人大卫·图尔图里安主导开发的专用计算架构承载，部署于其自有高性能基础设施之上。系统调用的是尚未向公众开放的Anthropic模型版本，具体参数与训练数据未披露，引发外界对其技术路径透明度的关注。