物理超智能实验室Physical Superintelligence（PSI）表示，其利用一款尚未公开的 Anthropic 模型，在三天内找到了量子计算领域 “阿伦森—安拜尼斯猜想” 的证明。该猜想自2008年提出以来一直悬而未决，涉及量子计算机在何种情况下能够大幅快于传统计算机。 PSI 已经公开论文和证明代码，并称证明通过了数学证明辅助工具Lean的检验。此前研究过这一问题的斯坦福大学学者已阅读证明并提供意见，但成果仍有待学界进一步独立审查。这项研究使用的系统由PSI技术人员大卫·图尔图里安（David Turturean）开发，在实验室自有基础设施上运行，调用了Anthropic尚未公开的模型。