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

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

目录
  1. 先说清楚时间
  2. 四项数字,自己乘一遍
  3. 两把尺子,两种判卷人
  4. 同一天还翻到

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

拿一张方格纸,长边画 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 降到 1583362 降到 139报道 39 倍
库仑势(化学)6355 降到 1140252 降到 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设计线路 #资源估计 #口径核对

暂无表态

想参与讨论或点赞?登录后使用完整功能

讨论回复(0)

暂无回复,登录后可参与讨论
合作

智谱 GLM-5 已上线

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

领取 2000万 Tokens