广告

实验室用AI三天证明量子计算重要猜想

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

发表我的意见

专栏作者

3987

文章

0

提问

189万+

阅读量

0

回答

14万+

被赞

0

余额

关于我们 联系我们 加入我们 免责声明 广告服务 Sitemap 标签Tag 侵权文章删除:13607219@qq.com 微信:wenlian123com Investor Relations © 2025 金牌网 中值联认证中心(北京)有限公司版权所有 ICP备案:京ICP备20020888号 增值电信经营许可证:京B2-20201851