{"id":"mb-20261017-27dd88","kind":"deep","title":"量子计算遇上可逆死结：Claude 闭门53小时推导定理，将核心电路门数暴降17倍","summary":"量子电路受制于物理定律必须完全可逆，中间数据无法直接丢弃，导致算法存储开销极大。Anthropic 与哈佛学者让 AI 自主推导演算法则，在零额外记录下攻克椭圆曲线核心步骤，使关键量子门减少17倍，为实用化量子计算打开了算法加速空间。","body":"量子计算机最反直觉的一点：它做计算，一张草稿纸都不能撕。\n\n普通电脑算完一步，中间数据随手就删。\n量子计算机不行。\n物理定律卡得死死的：量子电路里的每一步操作，都必须完全可逆。\n只要把废弃的中间数据当垃圾扔掉，量子叠加态当场坍缩，算出来的结果直接报废。\n\n这就引出了一个折磨物理学家几十年的死结。\n算一道大题要跑上万步。\n每一步的草稿你都得留着，那得准备多少个量子比特？\n现在的量子计算机，满打满算也就几百上千个量子比特。\n硬件本来就金贵，哪有地方给你堆草稿？\n\n有人说：那我算完之后，倒着再算一遍，把草稿原样擦掉，不就能把量子比特腾出来了吗？\n想法挺好。\n但倒着算一遍，量子门的步数直接翻倍。\n量子比特在噪音里存活的时间只有几十微秒，算得越慢，出错概率越高。\n要么量子比特被草稿挤爆，要么量子门被慢速拖死。\n物理学家管这个叫时空开销权衡。\n\n这个死结卡得最狠的地方，在椭圆曲线加密。\n也就是大家常说的，量子计算机破解现代密码学的核心战场。\n里面最耗算力的一步，叫模逆元计算。\n在普通电脑上，有个非常成熟的高速算法叫 divsteps。\n它拿着两个数字，每一步看一眼，做做加减、对调或者除以 2。\n普通电脑每走一步，随手就把上一步选了哪条分支扔了。\n量子电脑不行。\n如果要让 divsteps 倒回去，你就必须把每一步的分支选择全记下来。\n跑几百轮，草稿多到根本塞不下。\n所以学术界很长一段时间默认：这个经典算法没法直接搬到量子电路上。\n\nAnthropic 的研究员 Andi Gu 和哈佛大学、QuEra 的团队决定换个思路。\n他们把这个难题打包成规则，扔给了自家的 AI 模型 Claude。\n搭了一个闭环系统。\nClaude 在里面自己写 Python 电路代码。\n外部程序自动跑模拟打分，看量子比特和量子门各用了多少。\n打完分再把结果扔给 Claude，让它接着改。\n整个过程没有人类插手，Claude 自己闭门跑了 53 个小时。\n\n它在算法里钻出了一个全新的数学捷径。\nClaude 问了一个人类学者没往深处想的问题：\n谁说倒回去算，非得靠专门的寄存器存分支记录？\n每一步算完之后，那两个数字不是变了吗？\n能不能直接看那两个数字当下的状态，反推出上一步到底做了加减还是对调？\n换句话说，让数据自己记着自己的脚印。\n\n刚开始，Claude 试了几条经验规则。\n小数字算得挺顺，一放到 256 位的真实密码学尺寸，全崩了。\n到这里，一般程序可能就卡死了。\n但 Claude 没停在盲目试错上。\n它反手推导了一组全新的代数恒等式，从数学底层证明了这组数字在每一步的变换规律。\n它用这个公式写出了严格的无痕逆向解码，甚至用 Lean 语言把数学证明全部形式化敲定。\n结果，它做出了人类历史上第一个不需要额外存分支记录的可逆 divsteps 量子电路。\n零额外草稿寄存器。\n\n光做到这一步还不算完。\n实时推导脚印虽然省了量子比特，但算推导本身也要花量子门。\nClaude 又把这个设计切成了一整套方案库：\n哪些步骤存记录更划算，哪些步骤算反推更省事。\n最终拿出来的成果，对比之前人类学者发表的最顶尖电路设计：\n量子比特只微增了 12%，但最昂贵的 Toffoli 量子门数量，直接降了 17 倍。\n\n17 倍是什么概念？\n原本可能要跑几个小时的高难度量子操作，门电路直接被砍掉 94%。\n在哈佛和 QuEra 合作测试的 8 个物理与化学基准任务里，Claude 设计的电路在 7 个任务上打破了纪录。\n有的算法门数量甚至被压缩了 39 倍。\n\n过去很多人总觉得，量子计算离实用还有好几十年，全指望物理学家把超导芯片或离子阱的硬件做大。\n但这次实验说明了一件很有意思的事：\n大家以前总觉得瓶颈在硬件。\n其实人类手工设计的量子电路，本身就留了巨大的浪费空间。\n当 AI 可以在几十个小时里自己证明数学定理、把最硬的算力瓶颈削掉一个数量级，实用的量子计算，大概比很多人预想的来得快得多。","topic":"量子计算遇上可逆死结：Claude 闭门53小时推导定理，将核心电路门数暴降17倍","frame_type":["机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-10-17 08:16:56","legal_anchor_count":0,"transcript_citation_count":0}