Claude AI 科学突破封面
31

7 月

Claude 一周内连破 Jacobian 猜想 + 后量子密码:AI「科学家」时代真的来了吗?

Claude 一周内连破 Jacobian 猜想 + 后量子密码:AI「科学家」时代真的来了吗?

2026 年 7 月的最后一周,AI 行业的主角不是新模型,是数学和密码学。Anthropic 的 Claude Fable 5 找到 Jacobian 猜想反例,Claude Mythos Preview 又破解了后量子密码 HAWK-256。这两件事放在一起看,意味着什么?

数学界炸了:一个「不经意」的社交媒体帖子

2026 年 7 月 30 日。

Anthropic 的数学家 Levent Alpöge 在 X 上发了一条非常不正式的帖子:

「Hello there the Jacobian conjecture is false thanx」

大意是:「嘿,Jacobian 猜想不成立,谢了。」

他没有发论文。没有开发布会。就用一句话告诉世界:一个困扰数学家 80 多年的著名猜想,被 Claude Fable 5 找到了反例。

Alpöge 使用刚发布几周的 Claude Fable 5,找到了一个多项式映射的反例——它的 Jacobian 行列式是 -1,却将多个点映射到同一个值。这意味着单射性不成立,猜想被证伪。

这个反例本身极其简单。MIT Technology Review 的报道指出,难点不在于构造精巧的长证明,而在于在海量的多项式映射空间中有效导航,找到那个有正确性质的对象。

几乎同时:密码学的核弹级发现

就在人们对 Jacobian 猜想还来不及消化的时候,Anthropic 又披露了一个更震撼的结果:

Claude Mythos Preview 在 60 小时的自主运行中,成功从后量子密码候选算法 HAWK-256 中恢复了签名密钥。同时还找到了一个针对 7 轮 AES-128 的新攻击方法,命名为「Mobius Bridge」,将破解速度提升了 200 到 800 倍

这不意味着你的密码不安全

先泼一盆冷水——这对当前部署的系统没有直接威胁:

项目威胁程度原因
HAWK-256 密钥恢复零威胁HAWK 仍在 NIST 第三轮候选评估中,未部署
Mobius Bridge AES 攻击零威胁仍需要约 2^105 个选定明文,远超现实可行范围

但问题的核心不在这里。关键在于:AI 正在以惊人速度发现人类几十年没找到的攻击路径。

一个细思极恐的细节

Claude Mythos Preview 最初拒绝尝试 AES 攻击。它判断「优化已不可能」。直到研究人员用激将法反复追问,它才给出了 Mobius Bridge。

这是个意味深长的行为——如果 AI 能在安全研究中说「这不值得试」,它错过的东西人类可能永远发现不了。同理,如果对手的 AI 没有这种「谦逊」呢?

科研范式正在被改写

把这两件事和最近的一系列突破放在一起看:

  • 2026 年 5 月:OpenAI 用 GPT 证明单位距离猜想
  • 2026 年 7 月初:23 岁的业余数学家 Liam Price 用 AI 证明 Erdős 第 1196 问题
  • 2026 年 7 月中:Google 用 Gemini 解决多个 Erdős 开放问题
  • 2026 年 7 月 30 日:Claude Fable 5 找到 Jacobian 猜想反例
  • 2026 年 7 月 30 日:Claude Mythos Preview 破解 HAWK-256 + AES 新攻击

这个密度不是偶然的。加上 Qwen-Image-3.0 突破图像生成PolyAI 突破语音延迟,AI 的数学和密码学能力正在从「偶尔有成果」变成「稳定产出」。

钱的问题:一次实验花 10 万美元

Anthropic 披露了一个很少见的数据:

  • HAWK 破解:约 60 小时自主运行,约 5 亿 输出 token
  • AES 攻击:约 3 天,约 5 亿 输出 token
  • 每个项目 API 成本约 $100,000

人类验证花了更多时间——两名研究员花了近一个月才确认 AES 结果。

这个成本级别决定了:现在能做这种实验的机构屈指可数。但如果模型推理成本继续按当前曲线下降,明后年就能降到让更多学术机构负担得起。那时 AI 辅助科研将从稀缺品变成日用品。

这对我们意味着什么

对 AI 开发者:你所用的模型不只是写代码、写邮件的工具。它在数学和密码学上具备结构化推理能力——这个能力正在从 Princeton CRUX 评测 所设计的「真正未知问题」场景中得到更严格的检验。——这个能力正在迅速外溢到更多领域。

对安全从业者:如果你的安全假设建立在「某种攻击不存在因为没人找到过」之上,这个假设正在变得脆弱。AI 可能在你不知道的时候就找到了。

对每个人:这一个月发生的事,把「AI 是否能做真正的科学研究」这个问题,从哲学讨论变成了工程实践。Princeton 发布了一个用未公开研究问题测试 AI 的基准——让原科学家打分。如果那个基准的成绩开始上升,我们就要认真讨论「AI 科学家」这个身份的定义了。

FAQ

AI 破解 HAWK 是不是意味着量子密码也不安全了?

不是。HAWK 是后量子密码候选,但不是量子密码本身。后量子密码的目标是「即使量子计算机也破解不了」。HAWK 被经典 AI 破解意味着它在传统计算面前就不够安全,和量子计算无关。

Claude 会自己决定去做数学研究吗?

会做研究,但不会自己「决定」。目前所有 AI 数学突破都是在人类设定目标和方向的前提下完成的。AI 是工具,不是自主科学家。

这些发现经过了同行评审吗?

HAWK 和 AES 的结果已发布技术论文和可复现代码,并提交给了 NIST 论坛。但截至 7 月 29 日,HAWK 密钥恢复未获独立第三方验证确认。


相关阅读

评论 (1)

评论被关闭。

RELATED

Posts