量子 · 三十九倍写在标题上,分母藏在脚注里
拿一张方格纸,长边画 Toffoli 门数,短边画峰值逻辑比特数,两个方向围出一块面积。把长边和短边各削一截,面积缩得比任何一边都快。11 月 10 日 QuEra 那份新闻稿标题上的"最多 39 倍",量的就是这块面积。新闻稿自己紧跟着补了一句:综合指标是把 Toffoli 门数乘以峰值逻辑比特数,所以 39 倍的…
三十九倍是面积缩了三十九倍,速度快了多少,这份材料没有说。
拿一张方格纸,长边画 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% | 新的门数比特数取舍 |
新闻稿把边界写在明处,这比数字本身更值得抄下来。这些结果是单个构件的资源估计,没有在硬件上跑过;实际运行时间与物理硬件需求取决于整机架构;关键构件便宜了,能不能让完整应用跟着便宜,还要看这些构件在算法里怎么被用。换句话说,一块方格纸上省下的面积,落到机柜里未必按同一比例兑现。
两把尺子,两种判卷人
把这一周的两份材料放一起看,差别比"谁的倍数大"有意思。
| 维度 | arXiv 2611.09822(11 月 6 日) | arXiv 2610.22367(10 月 15 日,11 月 10 日披露) |
|---|---|---|
| 谁判正确性 | Lean 4 内核逐条验证明 | 独立自动评估器验线路并打分 |
| 量的对象 | 时空开销,逻辑比特数乘 T 门数 | 综合指标,Toffoli 门数乘峰值逻辑比特数 |
| 最大报道倍数 | 25 位定点 arcsin 子程序 290 倍 | 定点高斯函数 39 倍 |
| 分母 | Häner 等 2018 年分段多项式构造 | 各构件此前的先进设计 |
| 当前可复现性 | 论文自陈 Lean 库即将开源,外人尚不能复现 | 预印本与新闻稿数字公开 |
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 埃 |
#量子计算 #AI设计线路 #资源估计 #口径核对