Anthropic 披露,Claude Mythos 5 在一个由评估器打分的闭环中自主提出并验证量子电路设计,在 8 项量子电路设计任务中交出更优设计,其中 7 项超越此前已发表的最优纪录。研究为预印本,尚未经过同行评审。
1. 椭圆曲线点加:门数降至 1/17。 Claude 推导出可逆版本的 divsteps 算法:不再存储每一步的分支信息,而是从寄存器中现存的中间值反推分支,关键证明用 Lean 形式化。一次 53 小时无人干预的运行得到的结果是:门数降至原来的 1/17,仅多用 12% 的量子比特。
2. DQI 解码器:门数降至 1/12。 针对解码量子干涉(DQI)的 Reed-Solomon 解码器,Claude 把扩展欧几里得算法换成 Berlekamp-Massey 解码,并跑了 4.03 亿次采样解码来实测内存需求:只需留 19 个量子比特存一个值,而不是最坏情况的 665 个。门数降至谷歌此前构造的 1/12,代价是约万分之一的失败率,在任务允许的误差范围内。
3. 人的角色。 人类只给了初始任务和偶尔“想开阔点”的提示;评估器负责验算正确性并给电路打分。Anthropic 称,同样的闭环有朝一日可能设计整台纠错量子计算机。
原文链接:点击查看原文,正文为摘要整理,仅供参考。




