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