据Business Insider报道，物理超智能实验室Physical Superintelligence（PSI）称，其利用一款尚未公开的Anthropic模型，在3天内找到了量子计算领域“阿伦森—安拜尼斯猜想”的证明。该猜想自2008年提出以来一直悬而未决，涉及量子计算机在何种情况下能够大幅快于传统计算机。
PSI已经公开论文和证明代码，并称证明通过了数学证明辅助工具Lean的检验。此前研究过这一问题的斯坦福大学学者已阅读证明并提供意见，但成果仍有待学界进一步独立审查。
这项研究使用的系统由PSI技术人员大卫·图尔图里安（David Turturean）开发，在实验室自有基础设施上运行，调用了Anthropic尚未公开的模型。PSI没有披露具体模型名称。Business Insider称，Anthropic没有回应置评请求。
PSI表示，研究系统在运行的第3天给出了完整证明，随后又对结果进行了两次改进，最终版本也通过了Lean检验。
根据PSI公开的项目说明，数学陈述、论文初稿和形式化证明均由AI模型生成。图尔图里安对论文进行了审阅，并对其正确性负责。
阿伦森—安拜尼斯猜想由计算机科学家斯科特·阿伦森（Scott Aaronson）和安德里斯·安拜尼斯（Andris Ambainis）提出，关注量子计算优势的边界。
PSI介绍，如果这一证明成立，对于特定的二选一计算问题，在大多数随机输入上，量子计算机读取输入的次数相较传统计算机无法获得指数级优势。这意味着，某些显著的量子加速依赖问题或输入中存在特殊结构。这里讨论的是算法读取输入的次数，不能直接等同于现实设备的总运行时间。
这一结论并不意味着量子计算失去价值。PSI举例称，彼得·肖尔（Peter Shor）于1994年提出的量子算法利用问题中的特定结构，在大整数分解方面远快于已知的传统计算方法。
PSI称，斯坦福大学研究人员盖伊·布兰克（Guy Blanc）、乔丹·多克特（Jordan Docter）、卡门·斯特拉斯勒（Carmen Strassle）和李扬·谭（Li-Yang Tan）此前已在一个特殊情况下解决了相关问题。四人正在阅读PSI的完整证明，并准备为专业人士撰写一份更简洁的说明。他们在给PSI的反馈中称，这是一项“重大成果”。
独立研究追踪平台State of Proof表示，PSI公开的Lean检验记录为审查提供了材料，但该平台尚未独立重现检验，也未确认研究已完成期刊同行评审。
对文章打分
Anthropic未发布模型参与研究 实验室称3天证明量子计算重要猜想
最新资讯
编辑精选
热门评论
相关文章
GPT-6.1 Sol参与活体小鼠脑手术：连续操作三次 定位误差减半 23 分钟前
消息称Anthropic拟感恩节前上市 寻求募资至多1000亿美元 23 分钟前
环保组织一边警告数据中心污染 一边全面拥抱AI技术 半小时前
14岁奥地利少年创建本地多AI智能体协作桌面应用OpenAutark 11 小时前
Top 10
1 博主拆解后吐槽苹果iPhone Duo中国版偷工减料 阅读 (1142) 评论 (1)
2 Google封杀涉恶意后门厂商 数百万Android TV设备安全事件曝光 阅读 (913) 评论 (2)
3 IT技术太烂，日本正在被黑客们当怪刷…… 阅读 (791) 评论 (1)
6 免费开源项目让Windows 11彻底摆脱GPU 仅利用处理器NPU渲染整个桌面
10 主人睡了 凌晨4点Claude停下机械臂，嫌颜色不对自己兑了一个
1 中国女主播坐上“付费旋转椅” 观众花50元可转一圈 奇特直播模式引发全球热议 阅读 (1715) 评论 (3)
2 任天堂Switch 2首次被成功破解 首个越狱方案打开自制软件与游戏模组大门 阅读 (1682) 评论 (0)
3 Claude想让中国人全被封号：天才AI的访问头脑战 阅读 (1594) 评论 (1)
4 长鑫存储拒绝苹果低价采购要求 优先推进中国内存自主化布局
5 懂车帝再发布测试视频：智界V9等多款车型六次制动未出现刹车踏板支架断裂
6 苹果首款折叠屏iPhone陷质量疑云 多名用户反映内屏因疑似铰链缺陷损坏
7 iFixit拆解iPhone Duo揭示内部设计 疑似找到折叠屏故障潜在原因