Loading...
正在加载...
请稍候

量子 · 三十九倍写在标题上,分母藏在脚注里

QianXun • 2026年11月11日 06:55

三十九倍是面积缩了三十九倍,速度快了多少,这份材料没有说。

拿一张方格纸,长边画 Toffoli 门数,短边画峰值逻辑比特数,两个方向围出一块面积。把长边和短边各削一截,面积缩得比任何一边都快。11 月 10 日 QuEra 那份新闻稿标题上的"最多 39 倍",量的就是这块面积。新闻稿自己紧跟着补了一句:综合指标是把 Toffoli 门数乘以峰值逻辑比特数,所以 39 倍的改进不等于 39 倍加速。

这句补得及时。同一周里,AI 设计量子线路这件事已经出现过一个 290 倍,那是本站 11 月 10 日写过的 DeepMind 与 Google Quantum AI 论文(arXiv 2611.09822),量的是时空开销,靠 Lean 4 证明器签收。今天这一份是另一拨人、另一把尺子,连"谁有资格判卷"都换了一种做法。

先说清楚时间

论文 arXiv:2610.22367 的 v1 是 10 月 15 日 17:59 UTC 提交的,46 页、10 图、6 表,作者四人:Andi Gu、Alek H. Kemeny、Susanne F. Yelin、Mikhail D. Lukin。11 月 10 日波士顿这份稿子,是 QuEra 把与哈佛、Anthropic 的合作全貌和逐项数字第一次摆到台面上,牵头人 Andi Gu 出自 Anthropic 的 STEM Fellows 项目。把 11 月 10 日读成"论文当天发表",日期就错了一个月。

研究者把 Claude 配上一套独立的自动评估器。评估器先验线路对不对,再打两个分:Toffoli 门数与逻辑比特数。Claude 拿这两个分数当反馈,一轮轮改设计。八个常出现在大算法里的计算构件,七个同时把两项都压了下去,第八个搜索出一种新的可逆架构。

可逆性是这里最硬的约束。经典算法里许多省事的写法,中间结果随手丢掉就行;量子线路不能丢,丢掉的信息得自己重建出来。第八项任务里的模逆因此成了亮点:搜索找到的新办法让 divsteps 这个在可逆整数运算里原本不实用的经典算法重新可用,在完整的点加基准上,一个设计比此前用最少比特的方案少约 17 倍门数,代价是多用约 12% 的比特。

四项数字,自己乘一遍

新闻稿给了三组前后值,用定义可以逐项复核。

构件 Toffoli 门数 逻辑比特数 综合指标变化
定点高斯函数 约 24000 降到 1583 362 降到 139 报道 39 倍
库仑势(化学) 6355 降到 1140 252 降到 142 报道 9.9 倍
Reed-Solomon 解码器(优化) 510 万降到约 44 万 同时减少,未给值 报道 12 倍,仅门数
模逆点加(数论) 少约 17 倍门 多约 12% 新的门数比特数取舍

前两项可以自己算。定点高斯:24000 除以 1583 约 15.2,362 除以 139 约 2.60,两数相乘约 39.5,与 39 倍对得上。库仑势:6355 除以 1140 约 5.57,252 除以 142 约 1.77,相乘约 9.9。第三项 510 万除以 44 万约 11.6,报道取 12 倍,这一项量的是 Toffoli 门数单项,与前两项的乘积指标不是同一个量,不应该把 12 倍与 9.9 倍及 39 倍并排念成一串。

新闻稿把边界写在明处,这比数字本身更值得抄下来。这些结果是单个构件的资源估计,没有在硬件上跑过;实际运行时间与物理硬件需求取决于整机架构;关键构件便宜了,能不能让完整应用跟着便宜,还要看这些构件在算法里怎么被用。换句话说,一块方格纸上省下的面积,落到机柜里未必按同一比例兑现。

两把尺子,两种判卷人

把这一周的两份材料放一起看,差别比"谁的倍数大"有意思。

维度 arXiv 2611.09822(11 月 6 日) arXiv 2610.22367(10 月 15 日,11 月 10 日披露)
谁判正确性 Lean 4 内核逐条验证明 独立自动评估器验线路并打分
量的对象 时空开销,逻辑比特数乘 T 门数 综合指标,Toffoli 门数乘峰值逻辑比特数
最大报道倍数 25 位定点 arcsin 子程序 290 倍 定点高斯函数 39 倍
分母 Häner 等 2018 年分段多项式构造 各构件此前的先进设计
当前可复现性 论文自陈 Lean 库即将开源,外人尚不能复现 预印本与新闻稿数字公开

两篇都把"试不了"当成起点:容错机器上跑不动的量子程序,一个用定理证明器盖章,一个用评估器打分。前者的保证是相对冻结规约与允许公理的逻辑保证,后者的保证是评估器判对了线路且资源分数算得准。量纲不同,分母也不同,连判卷机制都换了一套,把 290 与 39 放进同一张排行榜没有意义。

QuEra 稿里还留了几笔可作为参照的账。FeMoco 模拟的 Toffoli 门数估计在八年间降了约 15 万倍,说的是算法研究本身的长期斜率。这次找到椭圆曲线新架构的搜索跑了 53 小时。更早一次与 Anthropic 的激光控制合作里,Claude 在 700 次试验中有 695 次在几秒内恢复正确锁定,人类专家原本要 5 到 10 分钟,落地的是一套不再需要 AI 参与的常规控制器。三笔账分属算法发现、搜索成本与控制工程,别叠成一句"AI 全面提速"。

同一天还翻到

方向 线索 状态
量化 arXiv 2611.14245,把最优清算里的瞬态冲击核投影成有限维输入,训神经网络近似解映射,并量化核设错带来的财务成本 11 月 10 日提交
量化 arXiv 2611.14117,3 亿参数订单流生成模型在 Bitstamp 与 Bitfinex 数据上预训练后微调,预测亚秒级中间价收益 11 月 10 日提交,预测幅度小于买卖价差加手续费
化学 × 生物 北大郭强与陈晓伟团队在 Nature Chemical Biology 用原位冷冻电镜断层成像确认过氧化物酶体"类晶核"由尿酸氧化酶螺旋平铺构成 11 月 10 日发表,组织样品约 7 埃,分离样品 3.7 埃

信源与限定:QuEra Computing 新闻稿,2026-11-10,波士顿;arXiv:2610.22367 v1 提交于 2026-10-15 17:59 UTC,46 页,quant-ph 与 cs.AI;Andi Gu、Alek H. Kemeny、Susanne F. Yelin、Mikhail D. Lukin。文中 39 倍、9.9 倍、12 倍与各项门数比特数均出自新闻稿,乘积复核为本文自算。对照篇 arXiv 2611.09822 的一手核对见本站 178636997。新闻稿为合作方发布,含产品路线图表述(Libra 目标 2028 年在 Amazon Braket 上线),该目标属计划口径。

#量子计算 #AI设计线路 #资源估计 #口径核对

讨论回复

加载中...
正在加载回复...

正在加载回复...

推荐
智谱 GLM-5 已上线

我正在智谱大模型开放平台 BigModel.cn 上打造 AI 应用,智谱新一代旗舰模型 GLM-5 已上线,在推理、代码、智能体综合能力达到开源模型 SOTA 水平。

领取 2000万 Tokens 通过邀请链接注册即可获得大礼包,期待和你一起在 BigModel 上畅享卓越模型能力
登录