Claude 把一个后量子密码的强度砍了一半

Anthropic 把 Claude Mythos Preview（一个还没公开的模型）扔到一个真正的硬数学问题上，它带回来的是一个针对 HAWK 的、全新的、真实的攻击。HAWK 是一个后量子签名方案的候选。注意，这不是实现层面的 bug，而是数学本身的缺陷：格结构里藏着一个对称性，密码学里叫 nontrivial automorphism，它把 HAWK-256 的有效密钥强度砍掉了大约一半，把攻击成本从 2 的 64 次方直接拉到 2 的 38 次方。

它是怎么做到的，和它发现了什么一样重要。这是一个多 agent 的配置，手边有 Python、有 Sage、有整个密码学文献。有一个人类理论学家在环里，但主要在做项目管理。Anthropic 特别点出的一个细节是：关键的那个想法，是两个 agent worker 一起推理出来的，一段没人写进脚本的、自发的协作。整件事花了大约 60 小时，烧了差不多 10 万美元的 API。

这就是那条线在往前挪。总结论文早就不新鲜了。但在一个大家正认真考虑用于后量子未来的方案上，产出一份专家真会拿去发表的原创密码分析，是完全不同量级的主张。Anthropic 走了负责任披露的流程，公开前先和政府及产业伙伴通了气。原文在 anthropic.com/research/discovering-cryptographic-weaknesses。AI 辅助研究和 AI 做研究之间那道缝，又变窄了一点。