在 OpenAI 丢弃由未发布的 AI 模型编写的 722 份数学手稿一周后，密码学界正在争论大多数人在科幻小说中提出的一个问题：AI 系统最终能否破解保护互联网的加密？据《科学美国人》报道，专家们确实存在分歧。
这场争论源于 OpenAI 创纪录的发布，其中每篇论文都是由公众无法访问的模型撰写的。结果远非完美无缺——OpenAI 在一天内因符号错误撤回了三篇论文，数学家们仍在审查其余论文——但这项工作的规模和深入程度让研究人员感到不安，他们原本认为机器生成数学还需要数年时间。我们报道了 722 份手稿的最初发布以及随后发生的撤回情况。
数学界对这一发布本身的反应一直很激烈——包括菲尔兹奖获得者在内的领先数学家公开要求对人工智能编写的证明制定更严格的验证规范，而密码学争论在很多方面都是该争论延伸到应用安全的领域。如果人工智能生成的数学还不能完全可信，那么问题就变成了信任基础设施的哪些部分可以等待。
15% 的担忧
数学是密码学的基础。每条加密消息和银行登录都依赖于一个被认为几乎不可能逆转的数学问题。约翰·霍普金斯大学的密码学家马修·格林（Matthew Green）在该消息发布几天后在社交媒体上发帖表达了这一担忧：他认为世界大约有 15% 的机会对现有的公钥加密算法失去信心——这些算法允许浏览器在不提前共享密钥的情况下建立安全连接并验证数字身份。
这种恐惧是有历史先例的。密码学家曾经认为 512 位 RSA 密钥是安全的，直到数域筛法使破解它们变得更加容易，并迫使业界延长密钥——现在 2,048 位是公认的最小值。格林担心的是，人工智能可以在椭圆曲线密码学中找到类似的捷径，通过发现人类几十年来错过的结构来保护大部分网络和大多数加密货币的安全。
怀疑论者：没有突破的证据
许多领先的密码学家认为没有理由惊慌。巴伊兰大学教授兼 Coinbase 密码学负责人 Yehuda Lindell 写道，没有任何证据表明现代加密背后的数学问题取得了突破。斯坦福大学密码学教授 Dan Boneh 指出，OpenAI 的 722 篇论文中没有一篇涉及密码学。
美国创新基金会研究员 Govind Pimpale 坦率地承认目前的现状：目前部署的算法还没有被人工智能破解。他的担忧是结构性的，而不是直接的——公钥密码学依赖于小社区研究的少数数学问题，而机器可以比人类研究人员在这些狭窄的目标上投入更多的努力。
证据实际表明了什么
最具体的数据点来自苏黎世联邦理工学院计算机科学家 Florian Tramèr 及其同事（包括 Anthropic 的三名研究人员）最近发表的预印本。该团队让领先的人工智能模型应对 191 项密码破译挑战，Tramèr 表示，很明显，模型的密码分析能力正在极其迅速地增长。
其他研究人员将担忧转向近期风险。密码分析研究的合著者、特拉维夫大学的埃亚尔·罗南 (Eyal Ronen) 指出，人工智能已经非常擅长发现软件漏洞——这是比假设的加密破解更直接的威胁，因为攻击者绝大多数会采取最简单的途径，例如从受感染的机器上窃取密钥。鲁汶大学的密码学教授 Bart Preneel 补充说，规模很重要：即使数学上的进步使攻击速度提高了十亿倍，但对于正确配置的系统来说，它们在计算上仍然不切实际。
为什么赌注如此之高
公钥加密技术可以悄悄地保护浏览器连接、软件更新签名、加密货币交易和消息应用程序的安全。真正的突破将让攻击者冒充银行、伪造软件更新并读取多年储存的加密流量——现在收获、稍后解密的情景情报机构被认为已经在尝试对抗后量子转变。
即使是部分结果也会迫使痛苦的全球移民。格林警告说，升级过程本身可能是一场灾难，并指出，拙劣的加密转换在历史上曾引入过新的弱点。就在本月，当 Anthropic 的 Claude Mythos 系统发现了加密实现中以前未知的弱点时，这种风险就显现出来了，这提醒人们，令人印象深刻的人工智能进展也正针对安全研究。
目前，共识处于密码学领域通常的共识：没有部署的系统被破坏，但假设这种情况永远持续的成本太高，不容忽视。本月发生的变化是，数学发现的速度本身成为了受监视的变量。
---
保持人工智能领先地位获取最新的人工智能新闻、分析和突破——尽在一个地方。
阅读更多人工智能新闻 →
