模型与研究 · 让提案接受可检查的反馈
AI 写量子电路，怎样判断它更省？
从一项解码器的资源改进，看模型提案、程序检查和数学证明怎样配合；少用一些门和量子位，与真实硬件已经加速，是不同的结果。
预印本提交页标注 10 月 15 日（UTC；北京时间为 16 日），Anthropic 发布页标注 10 月 16 日；本文于 10 月 18 日核对论文、固定代码与证明说明。研究使用访问受限的 Claude Mythos 5，没有把它换称为 Opus 5.5；这些成果不代表普通 Claude 账户可直接复做。本站未运行搜索、编译 Lean 或在量子硬件上复现结果。
先看改进落在哪个零件
这项研究让模型寻找更节省资源的量子计算基础例程。其中一个结果是 DQI 优化算法中的 Reed–Solomon 解码器：作者给出的 Toffoli 门数约从 510 万降到 44 万，峰值逻辑量子位从 1,938 降到 1,837。这是特定零件、特定任务条件下约一个数量级的资源改进。
门是电路中的基本操作，逻辑量子位是电路设计中的资源单位。论文把 Toffoli 门数乘以峰值逻辑量子位作为资源代理指标；它没有把这项结果变成今天的量子机器已实测快约 12 倍，也没有证明所有八个任务都拥有同一个倍数。硬件纠错、运行深度及具体机器条件仍会影响实际代价。
来源与延伸阅读
- Gu 等 · 原论文 v1预印本 · UTC 10 月 15 日／北京 16 日区分具体任务、输入分布、资源口径和验证标准，尤其 Extended Data Table 1 与补充方法。
- uncompute · 固定代码与结果作者公开仓库 · 64b5a13任务规范、评估器和资源计数可查；代码公开不等于本站已复现。
为什么临时计算也要收拾干净
在这类可逆计算中，得到正确输出还不够：原输入要按规范保留，辅助量子位也要回到干净状态。普通程序可以覆盖的中间记录，在这里往往需要反向运算来清理。早清理可以腾出空间，但后来再用就要重算；一直保存能少做计算，却占着更多量子位。
模型提出的一个关键思路，是从当前数值状态恢复某些分支信息，减少必须一直保存的历史。研究因此比较的是一组不同的空间与计算量取舍，而不是‘把所有中间结果删掉’。这种约束也让程序设计的认识变得具体：少用资源的方案，仍要解释怎样留下结果、恢复状态并清理临时工作。
来源与延伸阅读
- Gu 等 · 原论文 v1预印本 · UTC 10 月 15 日／北京 16 日区分具体任务、输入分布、资源口径和验证标准，尤其 Extended Data Table 1 与补充方法。
- Anthropic · 量子电路研究说明研究团队介绍 · 原站 10 月 16 日项目来由、模型参与方式、53 小时案例与人工介入条件。
- Lean · divsteps 的证明范围固定版本 · 数学义务590 步上界与分支恢复；文档明确不形式化完整电路或资源计数。
让另一个程序给出可检查的反馈
模型把电路写成 Python 提案，再交给与生成模型分开的评估器。作者程序检查输入、输出、辅助位和相位等任务要求，并计算资源评分，模型再据此修改。这里的‘独立’指检查程序与生成模型分开，不代表已经由另一家研究机构复现。
常被提起的 53 小时属于椭圆曲线相关的那次探索，不是八题的统一工时。研究者提供了初始要求，也偶尔要求模型扩大探索方向。可理解的变化在于，候选程序能不断收到外部检查反馈；‘模型自己说对了’没有成为验收依据。
来源与延伸阅读
- Gu 等 · 原论文 v1预印本 · UTC 10 月 15 日／北京 16 日区分具体任务、输入分布、资源口径和验证标准，尤其 Extended Data Table 1 与补充方法。
- Anthropic · 量子电路研究说明研究团队介绍 · 原站 10 月 16 日项目来由、模型参与方式、53 小时案例与人工介入条件。
- uncompute · 固定代码与结果作者公开仓库 · 64b5a13任务规范、评估器和资源计数可查；代码公开不等于本站已复现。
测试通过、数学证明与硬件运行，分别说明什么
八个任务并不采用统一的零误差标准：有的允许数值误差，有的有失败预算，还有的要求全域精确，但验证仍列出有限测试次数。divsteps 的 Lean 证明给出 590 步最坏界与分支恢复条件；实际省资源电路安排 533 步，把少见长路径计入失败预算。作者文档明确说明，证明没有覆盖完整量子电路或其资源计数。
阅读这类 AI 科研成果，可以依次看：具体改了什么、按什么标准检查、基线是否同口径、形式证明覆盖哪里，以及是否真有硬件测量。公开任务、代码和证明入口让人能继续核查，这是比一个总倍数更值得接续的成果；接下来仍需要领域研究者审查和复现。它也接回此前形式化证明的问题：机器检查一个明确定义的对象，与证明整个现实过程可靠，是不同层次。
来源与延伸阅读
- Gu 等 · 原论文 v1预印本 · UTC 10 月 15 日／北京 16 日区分具体任务、输入分布、资源口径和验证标准，尤其 Extended Data Table 1 与补充方法。
- uncompute · 固定代码与结果作者公开仓库 · 64b5a13任务规范、评估器和资源计数可查；代码公开不等于本站已复现。
- Lean · divsteps 的证明范围固定版本 · 数学义务590 步上界与分支恢复；文档明确不形式化完整电路或资源计数。
- Lean · DQI 错误界及假设固定版本 · 有条件的证明按输入分布及故障通道假设解释错误影响，不证明所有实现全输入无误。