
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)
[…] Claude AI 科学突破 […]
评论被关闭。