Claude Fable 产出了 Jacobian 猜想的一个反例

原文 ↗ Hacker News 讨论 ↗

一个有 85 年历史的代数几何公开问题——Jacobian 猜想——似乎已被推翻，因为一次 AI 辅助搜索给出了一个简单而显式的反例：一个定义在 ℂ³ 上、Jacobian 行列式恒定且非零、但不可逆的多项式映射。评论者指出，使用 SymPy 或 WolframAlpha 等工具验证这个反例是常规操作，尽管正式写作和 Wikipedia 编辑者还在跟进，且仍有人对过早下结论保持警惕。讨论的很大一部分集中在这对数学研究意味着什么：大型语言模型是否真的开始贡献新结果、它们如何找到人类几十年未能发现的东西，以及这将如何重塑人类数学家的角色。

概览

  • 讨论线程提到一个显式的多项式自映射 (\mathbb{C}^3) ，它具有恒定且非零的 Jacobian 行列式，却把三个不同的点映到同一个像上，从而否定了 Jacobian 猜想。
  • 这个映射是由一个 LLM（Claude Fable）与一位人类数学家合作找到的，并在一条推文中公布；许多人觉得这既非同寻常，又略带超现实感。

反例的性质

  • 映射 (\mathbb{C}^3 \to \mathbb{C}^3) 的 Jacobian 行列式为 (-2)（恒定、非零）。
  • 它把三个不同的有理点映到同一个输出，因此它不是单射，也就不可逆，这与猜想的断言相矛盾（针对具有恒定非零 Jacobian 的多项式映射）。
  • 系数和点都是有理数，所以这个构造适用于任何满足 2 和 3 都非零的域。
  • 几位评论者给出了面向初学者/线性代数的解释：Jacobian 行列式编码局部可逆性；猜想的问题是，多项式这一条件是否会迫使它具有全局可逆性。这个例子表明并不会。

验证与 Wikipedia 引用来源

  • 许多人独立验证了这一点：
    • 用 SymPy、Sage、WolframAlpha、Lean、自定义代码计算 Jacobian 及其行列式。
    • 在给定点上求值并确认它们确实相同。
  • 从数学上说，这被描述为“本科微积分”或“常规计算”，只是手算会很繁琐。
  • Wikipedia 编辑者最初争论这条推文是否是可靠来源，以及将这个例子收录是否属于“原创研究”。
    • 最终引用了“基础数学”和自发布专家来源方面的政策，以及一篇新闻文章，解决了大部分异议。

LLM 是如何参与其中的

  • 原始反例被归因于与一个 LLM 的互动；随后用户把它输入给各种模型（Claude、GPT-5.6、Gemini、Qwen 等）。
  • 许多模型：
    • 能正确验证这个反例，但表现出强烈的“难以置信”，反复复查自己的计算。
    • 有些拒绝接受它，因为该猜想“已知是开放问题”，或者捏造出它必然错误的理由。
    • 少数较小或较弱的模型给出了错误的反驳。
  • 有人推测（并做了一些独立实验），当前模型也能在更高维中找到类似反例。

关于这对 AI 意味着什么的争论

  • 乐观阵营：
    • 认为这是一个明确的非平凡数学发现，而且不在训练数据中。
    • 认为“随机鹦鹉”式批评越来越站不住脚；模型表现出多步符号推理和搜索能力。
    • 指出人类用了 85 年并尝试了很多失败证明；LLM 现在正在“清理”被忽略的结果以及看似简单但并不显然的低垂果实。
  • 怀疑/批评阵营：
    • 质疑人类给了多少引导（ansatz 的选择、约束、已有文献），并希望看到完整提示词和推理轨迹。
    • 担心对 AI“创造力”夸大其词，指出 LLM 在许多“你只需要知道”的或分布外任务上仍然会失败。
    • 有些人认为这可能是过度炒作的营销；另一些人则认为，考虑到验证如此容易，这种看法近乎阴谋论。

对数学和开放问题的影响

  • 有几位评论指出，证伪一个猜想可以“解放”人类精力，并把注意力转向：
    • 分类在哪些情况下 Jacobian 性质确实能推出可逆性。
    • 理解哪些维数/结构下其变体仍然成立。
    • 对等价猜想（Poisson、Dixmier）及相关代数几何的影响。
  • 更广泛的担忧：
    • 中期来看：如果把困难步骤外包给 AI，数学家可能从挣扎中学到更少。
    • 长期来看：担心未来模型会让大部分定理证明变得过时，留给人类的主要任务只是提出猜想、判断“有趣性”，或者充当那些过于复杂、无法完全内化之证明的解释者。
  • 也有人更乐观，把这看作一种强大的新工具，类似计算代数系统、形式化证明助手或暴力搜索——只是现在能力更强、也更“有引导性”。