AI 发现雅可比猜想的反例，数学界震动

雅可比猜想的背景与重要性

雅可比猜想是代数几何领域一个古老而著名的问题。它于 1939 年由 Ott-Heinrich Keller 提出，其核心是：如果一个从 n 维复空间到自身的多项式映射，其雅可比行列式（由所有偏导数构成的矩阵的行列式）是一个非零常数，那么这个映射必然是可逆的，并且其逆映射也是多项式的。

• 简洁的表述：问题看似简单，只涉及多项式和行列式，但却困扰了数学家近一个世纪。
• 广泛的影响：该猜想与许多其他数学问题（如Dixmier猜想和Poisson猜想）密切相关。一旦被证明或证伪，都会产生连锁反应。
• 众多尝试：历史上，许多顶尖数学家都曾试图证明或推翻它，但均未成功。它也因此成为了一个著名的“难题”和“讨论热点”，甚至被认为是一个容易吸引“民科”的领域。

反常的证明与 AI 的参与

突破性发现

2026 年 7 月，数学家 levent（网名 alpoge）在社交平台 X 上宣布，他的朋友“Fable”（Anthropic 公司的 AI 系统）提供了一个具体的反例。这个反例是一个从 C³ 到 C³ 的多项式映射：

• 映射公式：( (1+xy)³z + y²(1+xy)(4+3xy), y + 3x(1+xy)²z + 3xy²(4+3xy), 2x - 3x²y - x³z )
• 关键性质：该映射的雅可比行列式恒等于 -2（是一个非零常数）。
• 反例核心：然而，这个映射不是单射。它至少将三个不同的点——(0, 0, -1/4)、(1, -3/2, 13/2) 和 (-1, 3/2, 13/2)——映射到了同一个点 (-1/4, 0, 0)。

Levent 随后提供了 Wolfram Alpha 的计算链接，用以验证映射的雅可比行列式为常数以及多点共像的性质。

AI 的角色与反响

• AI 的贡献：Fable 在 2026 年世界杯决赛期间完成了这项工作。这一细节突出了 AI 作为研究伙伴的潜力。
• 社区反应：消息迅速发酵，在 Hacker News 等科技社区引发了激烈讨论。许多人感到震惊，因为这是一个即便在 AI 时代也极具震撼力的成就。
• 引发质疑：也有评论者怀疑重 AI 部分是否真实，是否有人为的痕迹（如提出“是否 Anthropic 付钱让人提及 Fable”的问题），这反映出公众对 AI 成果的信任度仍存在分歧。

更广泛的影响与未来

对其他猜想的含义

该反例的发现意义远超雅可比猜想本身。评论区的讨论指出，由于雅可比猜想与以下几个著名问题存在逻辑联系，它的证伪可能意味着这些猜想也是不成立的：

• Dixmier 猜想：关于 Weyl 代数的自同构问题。
• Poisson 猜想：关于泊松代数结构的问题。

这意味着 Fable 的发现可能同时推翻了多个长期悬而未决的数学命题。

对数学研究方式的反思

• 人机协作新范式：此事例展示了 AI 能够发现人类数学家可能遗漏的、复杂的多项式模式。AI 不仅用于计算验证，更可以成为主动探索的“研究伙伴”。
• 验证的重要性：反例一经提出，迅速通过 Wolfram Alpha 等工具完成了验证。这表明，在 AI 辅助发现的时代，快速而可靠的验证工具依然是科学流程的核心。
• 社会学意义：数学界在处理这种由非人类智能产生的突破性成果时，会经历震惊、质疑、验证到接受的过程。这为未来更多的 AI 研究成果提供了参考案例。

未来展望

• 更多猜想的冲击：数学家们可能会系统地审视那些建立在雅可比猜想基础上的成果，修正或寻找新的证明路径。
• AI 的角色升级：AI 在数学研究中的角色将从“计算器”和“验证器”进一步升级为“发现者”，尤其是在处理大规模、多变量多项式系统时。
• 教育转变：未来的数学教育和研究中，可能需要纳入“如何与 AI 协作探索”以及“如何评估 AI 生成的结果”等内容。

总结

Fable 发现的雅可比猜想反例是数学史上一个标志性事件。它意味着一个历时近 90 年的著名难题被解决，而解决者是一个 AI 系统。

• 里程碑：这不仅是数学的突破，也是人工智能在创造性智力活动领域的一次实力证明。
• 新起点：它开启了数学发展的新篇章。AI 不再是工具，而是可以挑战人类智慧极限的伙伴。
• 未竟的探索：这个反例本身可能不是终点，而是新的起点，引导数学家去探索更广阔的、未被充分研究的多项式映射的世界。

这一发现必将长久地激励数学家、计算机科学家和所有对智能与创造力感兴趣的人们，去思考未来的科学发现将如何展开。

原标题：Claude Fable produced a counterexample to the Jacobian Conjecture。 HN 原始发布时间：2026年7月20日星期一。当前记录为 683 分、442 条评论。

阅读原文 · 查看 HN 讨论