Anthropic 的 AI 摸到了密码学天花板-低调大师

Anthropic 的 AI 摸到了密码学天花板

2026-07-31 96

密码学家 Matthew Green 看完 Anthropic 最新的密码分析成果后，写了篇博客。标题很克制：「一些想法」，但内容不克制。

先说 Anthropic 做了什么。他们让未发布的 Claude Mythos 模型去跑密码分析，出了两个结果：一个攻击了后量子签名方案 HAWK，另一个是对缩减轮次 AES 的改进攻击。

HAWK 这个结果，用 Green 的话说，「可能直接杀死了一个正在认真考虑标准化的密码方案。」

而且用的不是什么新武器。Green 反复强调这一点：AI 没有发明新的数学。它做的是把已知工具——那些密码学家早就握在手里的锤子和扳手——组合得比人类更彻底。他引用了 Claude 自己对攻击贡献的评估，并表示这个评估「读起来让人尴尬」。不是对 AI 尴尬，是对这个领域尴尬。

有些人干了一辈子密码分析，没想到灯下黑到这个程度。

HAWK 是一种基于模格同构问题（module-LIP）的后量子签名方案，跟 Falcon 有亲戚关系但依赖的困难问题不同。它的全部存在理由就是比替代方案更高效。Anthropic 的攻击大约减半了安全比特数——理论上可以靠加倍密钥尺寸来补偿，但这样一来 HAWK 就没有存在意义了。攻击代码已经在几小时内跑通了弱化版挑战实例，虽然没直接攻破真实部署参数，但方向很清晰。

AES 那个攻击就平淡多了。7 轮 AES 早就有已知攻击，这次只是在 2013 年工作的基础上做了一个常数因子的改进。需要 2^89 次密码运算和 2^105 次选定明文加密，跟实际威胁差着好几个天文单位。Green 的用词是「我们知识体系中的一个小增量」。

Anthropic 团队的方法论也值得注意：告诉 AI 去找结果，然后让它一直跑，直到找到为止。Green 看了他们公布的 prompt，觉得很说明问题。模型已经能理解现有密码分析文献、合成真正的新攻击路径、在没有详细人类干预的情况下完成扩展——也不需要有人站在旁边告诉它每一步该怎么走。

但 Green 也泼了半盆冷水。

他自己也在用这些高级模型，也收到过「令人惊讶的结果」。问题是：模型产出看起来像结果的东西，不代表它真的是结果。模型在制造「看起来合理但实际有误导性」的输出方面，比制造真正发现要擅长得多。

对于 HAWK 攻击，验证很简单——代码跑几个小时，对就对错就错。对于 AES 那种更微妙的加速攻击，验证就难了。用 Lean 这类系统做形式化证明有帮助，但命题陈述怎么写本身就是一个容易出错的问题。

这引出了全文最有信息量的判断：验证正在取代生成，成为新的瓶颈。谁能分辨真假发现？答案是极少数有足够专业判断力的人类专家，而他们的注意力是稀缺资源。Green 提到，最近几个高调的数学成果——包括陶哲轩博客讨论的那个 Jacobian 猜想反例——都共享同一个模式：要么附有机器可验证的证明，要么是可计算验证的反例，要么需要大量专家审阅。这个模式不是偶然。

Green 给三方受众分别留了话。

对密码学用户：对称密码是故意设计得「脏」和鲁棒的——容易用，难解构。他不认为往里面多灌几万小时的智能就能轻易攻破。即使 AI 能推进，它们同样会帮助设计更强的密码。公钥密码更脆弱——历史上能构造陷门函数的数学结构屈指可数，没有足够多的人类穷尽所有分析方向。但时机恰好：整个领域正在向后量子算法迁移，增强版密码分析能力来得正是时候。

对科学家：这是最好的时代，你有一个能力强大、但还没聪明到能完全取代你的 AI 合作者。

对所有人：如果你觉得这些模型只是「高级自动补全」，别这么想了。但如果你觉得 AGI 已经到了，也打住。Green 给了一个比喻：跟这些工具工作像在一片池塘里跋涉，地面随时可能陡然下沉。你前一秒还在齐腰的水里，后一秒就开始游泳。对有经验的研究者来说，能力和无能之间的那条线很容易找到——但它正在缓慢外移。

Anthropic 的 Mythos 还没有公开发布。这两个结果更像是一次能力展示，告诉我们那条线现在画在哪里。

参考来源：

微信关注我们

原文链接：https://www.oschina.net/news/483634

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

微软确认开发 Copilot AI 超级应用，整合聊天、编程与智能代理能力

微软正在开发一款整合Copilot聊天、编码助手和智能代理能力的AI“超级应用”，微软首席执行官萨蒂亚·纳德拉在最新财报电话会议中确认，该应用计划于今年推出，并覆盖消费者与商业两类使用场景。纳德拉表示，Copilot正在从单纯的聊天助手快速演进，扩展至协同办公和自动化执行领域。微软将在本季度推动不同Copilot体验的整合，包括代码能力，并将其纳入统一的超级应用平台中。他认为，这将成为Copilot发展过程中的重要一步，未来还将公布更多相关信息。此次确认回应了此前《财富》杂志关于微软开发AI超级应用的报道。据报道，该应用将融合多个微软AI产品能力，包...

2026-07-30

77

上个月 MiniMax 刚用 M3 在文本模型上刷了一波存在感，今天 H3 来了——一款全模态生成模型，而且承诺几天内开源权重。先看能力边界。H3 接受文本、图像、视频、声音任意组合作为输入（它叫多模态上下文），输出带原生双声道音频的视频，最高 15 秒 2K 分辨率。举个例子：扔进去一段参考视频（取它的希区柯克运镜）、一张人物图片、一段歌声录音，用自然语言告诉模型你要什么——H3 自己搞定剩下的。这个"自己搞定"说起来轻巧，背后的训练范式变化不小。 MiniMax 之前做过两代视频模型（Hailuo 01 和 02），每...

2026-07-31

83

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。