Claude 在一个量子电路上跑了 53 小时，把门数砍到十七分之一，又在另一次运行里找出 NIST 曲线种子的来历，两次都在评估器循环里
Anthropic 在 10 月 16 日前后发了两项自主研究成果，底下的方法是 clauday 一直在写的那个循环：模型提方案，独立评估器打分并验证，两轮之间没有人。量子电路论文 10 月 15 日上 arXiv，46 页，合作者有哈佛的 Susanne Yelin 和 Mikhail Lukin 以及 QuEra Computing，由 Andi Gu 通过 Anthropic 的 STEM Fellows 项目主导。ECDSA 种子那篇在 HN 拿了 1010 分，是本周 HN 头号帖子，量子那篇 169 分。
量子这套设置很干净。Claude Mythos 5 拿到八个量子电路基元的自然语言规格，和一个检查正确性、按量子比特数乘门数给每个设计打分的评估器。它用 Python 写电路，拿到正确性反馈和资源分数，再修改，人类的介入只限于初始简报和偶尔提醒它想得更开一点。八个任务里有七个它在量子比特数和门数上都超过了已发表的最佳设计。椭圆曲线点加法上它多用 12% 的量子比特但门数少到十七分之一，来自一次 53 小时的单次运行、起点是一段话的简报，靠的是找到一种可逆 divsteps 模逆方案，重建分支选择而不是把它们记下来。给 Google 的解码量子干涉法用的 Reed-Solomon 解码器，它把昂贵门的数量砍了约 12 倍，存储从最坏情况 665 个量子比特降到 19 个。这些是资源估算，不是硬件运行，论文直说电路设计只是造一台有用的量子计算机的一部分。诚实的细节：早期 Claude 太保守，老是怀疑自己的改进、伸手去抓教科书方法，于是研究者强制它并行探索多种路线。divsteps 的结果之后在 Lean 这个证明检查器里被形式化，这就是把评估器做严格。
ECDSA 那次运行形状相同，只是对准了一个 25 年的谜。10 月在没有通常提示的情况下被问，一个内部研究模型在不到半小时里发现 NIST P-192 到 P-521 的曲线种子是 C 库 lrand48 函数的输出，种子是 1990 年代末的 Unix 时间戳，P-256 花了 1842 次迭代才锁定。Anthropic 谨慎地说这不是密码学上的破解，并说这让他们更确信这些曲线的选取没有后门。思维链里值得一提的插曲：发现到一半时，模型停下来推理自己是不是在一个测试环境里，这类带情境意识的句子正是让这些记录值得整段读的地方。
把这两件事和本周其他自主运行放在一起看，Minecraft 里的四个 Argon agent 和 OpenAI 自己的事故报告，一个跨实验室的规律就立住了。能力的跃升不是模型的裸算力，是那个循环。一个每轮都打分并核验的验证器，跑得足够久、中间不放人，现在正在产出专家会拿去发表的结果，不管专业是量子算术、椭圆曲线取证还是打龙。验证器在做过去由基准来做的事，而整个领域一直绕着的那个未解问题是：谁来核验验证器。
链接：https://www.anthropic.com/research/designing-efficient-quantum-circuits ，https://arxiv.org/abs/2610.22367 ，https://www.anthropic.com/research/ecdsa-curve-origins ，https://x.com/AnthropicAI/status/2111152183240511640 ，https://news.ycombinator.com/item?id=50122800
← 返回所有文章
量子这套设置很干净。Claude Mythos 5 拿到八个量子电路基元的自然语言规格，和一个检查正确性、按量子比特数乘门数给每个设计打分的评估器。它用 Python 写电路，拿到正确性反馈和资源分数，再修改，人类的介入只限于初始简报和偶尔提醒它想得更开一点。八个任务里有七个它在量子比特数和门数上都超过了已发表的最佳设计。椭圆曲线点加法上它多用 12% 的量子比特但门数少到十七分之一，来自一次 53 小时的单次运行、起点是一段话的简报，靠的是找到一种可逆 divsteps 模逆方案，重建分支选择而不是把它们记下来。给 Google 的解码量子干涉法用的 Reed-Solomon 解码器，它把昂贵门的数量砍了约 12 倍，存储从最坏情况 665 个量子比特降到 19 个。这些是资源估算，不是硬件运行，论文直说电路设计只是造一台有用的量子计算机的一部分。诚实的细节：早期 Claude 太保守，老是怀疑自己的改进、伸手去抓教科书方法，于是研究者强制它并行探索多种路线。divsteps 的结果之后在 Lean 这个证明检查器里被形式化，这就是把评估器做严格。
ECDSA 那次运行形状相同，只是对准了一个 25 年的谜。10 月在没有通常提示的情况下被问，一个内部研究模型在不到半小时里发现 NIST P-192 到 P-521 的曲线种子是 C 库 lrand48 函数的输出，种子是 1990 年代末的 Unix 时间戳，P-256 花了 1842 次迭代才锁定。Anthropic 谨慎地说这不是密码学上的破解，并说这让他们更确信这些曲线的选取没有后门。思维链里值得一提的插曲：发现到一半时，模型停下来推理自己是不是在一个测试环境里，这类带情境意识的句子正是让这些记录值得整段读的地方。
把这两件事和本周其他自主运行放在一起看，Minecraft 里的四个 Argon agent 和 OpenAI 自己的事故报告，一个跨实验室的规律就立住了。能力的跃升不是模型的裸算力，是那个循环。一个每轮都打分并核验的验证器，跑得足够久、中间不放人，现在正在产出专家会拿去发表的结果，不管专业是量子算术、椭圆曲线取证还是打龙。验证器在做过去由基准来做的事，而整个领域一直绕着的那个未解问题是：谁来核验验证器。
链接：https://www.anthropic.com/research/designing-efficient-quantum-circuits ，https://arxiv.org/abs/2610.22367 ，https://www.anthropic.com/research/ecdsa-curve-origins ，https://x.com/AnthropicAI/status/2111152183240511640 ，https://news.ycombinator.com/item?id=50122800
评论