Claude Mythos 破解密码学：60 小时让抗量子签名 HAWK 强度减半

过去大家防黑客，最怕的是程序员代码写砸了、留下了漏洞。现在情况变了，AI 不但能挑代码里的刺，还开始直接对加密算法本身的数学底子下手了。

Anthropic 公布了一项研究成果。他们的 Claude Mythos Preview 模型，在没有顶尖密码学专家手把手教的情况下，一口气找出了两个经典加密算法的数学弱点。一个是正在竞争美国国家标准技术研究所（NIST）后量子数字签名标准的 HAWK，另一个则是大名鼎鼎的对称加密标杆 AES 的缩减轮数版本。

60 小时与 10 万美元，砍掉 HAWK 一半密钥强度

HAWK 算法本来是设计用来抵御未来量子计算机攻击的。它已经在全球顶尖密码学家的两轮严格审查下扛了两年多，顺利闯入 NIST 第三轮候选名单。

结果 Anthropic 只派了一名具备理论计算机背景、但根本不是格密码学专家的研究员，给 Claude Mythos 搭建了一个多 Agent 协作环境。AI 调用 Python 和 Sage 算力工具，边翻学术论文边做数学推导。

有意思的是，中间还出现过一个小插曲：一个 Agent 最早查到关键思路时，误以为走不通想放弃，结果另一个 Agent 接手后硬是把漏洞利用跑通了。两个 Agent 互相发消息讨论，最终达成了方案。

整个过程只花了 60 个小时，消耗了大约 10 万美元的 API 费用。Mythos 在 HAWK 使用的格结构中，找到了一种此前没人发现的非平凡自同构对称性，从而让攻击速度大幅提升。举个具体的例子，破解小尺寸 HAWK-256 原本需要大约 2 的 64 次方次运算，现在被压缩到了 2 的 38 次方，直接把有效密钥强度砍去了一半。如果要达到原有安全等级，HAWK 就得把密钥尺寸翻倍，但这几乎砸掉了它作为候选标准的核心优势。

在另一个针对轮数缩减版 AES 的实验中，AI 更是全自主运行，不需要人插手，直接省去了一步攻击者必须做的猜测，把前人最佳攻击速度提高了 200 到 800 倍，同样花掉了约 10 万美元成本。为了让学界继续跟进，Anthropic 还联手苏黎世联邦理工、特拉维夫大学和柏林工业大学搞了一个叫 CryptanalysisBench 的基准测试。

为什么重要

我们认为，这项研究最震撼的地方，不在于某一个具体算法被攻破，而在于密码学研究的工期被 AI 压缩到了不可思议的程度。

首先说普通人最关心的安全性：大家手头的手机和银行账户现在完全不需要慌。HAWK 只是在选拔阶段的候选方案，从来没有正式上线；而 AES 的测试对象也只是轮数缩减的弱化版本，根本动摇不了完整版 AES 的防线。Anthropic 也在 6 月就按规范把细节同步给了 HAWK 作者和 NIST 邮件列表，属于标准的负责任披露。

但这给整个密码学界敲响了警钟。过去一套加密标准从提出到落地，往往需要全世界顶级数学家花费五到十年去挑毛病，人类的精力和时间成本极其高昂。当年后量子候选算法 SIKE 在笔记本上被一小时完全攻破，就已经让大家心有余悸，而现在 Claude Mythos 证明了，只要给足算力和合适的脚手架，大模型完全有能力独立啃下极其深奥的纯数学命题。

换句话说，以后的加密算法设计者如果不用前沿 AI 先把自己审一遍，就等于是在把武器库拱手让给别人。攻击者手里一旦有了这种级别的模型，找算法后门的门槛就会从少数数学天才降维成算力账单。

从商业角度看，Anthropic 这次拿出的打法非常聪明。它把原本容易引发恐慌的漏洞挖掘，包装成了标准化测试基准 CryptanalysisBench 和正向的安全防御工具。但潜台词大家心里都清楚：如果 10 万美元就能削弱一个跑了两年的候选国家标准，那么留给传统密码分析师的安稳日子，看起来真的不多了。