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

原文链接：https://ishare.ifeng.com/c/s/v006jSnwmPrkwMQFxo6gF-_AynuUdP3c–Meo9m-_ksW–C62WcCkHjexOQyOC41bNex–mNQ

声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。