雅克比猜想被证否
AI证伪雅克比猜想，坛友深剖技术机理并热评科研新范式。
关键信息
- 反例构造与极速验证：哈佛 postdoc（目前在 Anthropic）Alpöge 于 2026 年 7 月 19 日通过 AI 模型 Fable 构造出了 (\mathbb{C}^3\to \mathbb{C}^3) 的映射反例 (#7, #41, #64)。该反例形式极为简单，本质上是 z 的仿射映射 (F = A(x,y) + z B(x,y))，可以直接在 Mathematica 甚至用纸笔验证其 Jacobian Determinant 恒等于 -2，且通过实数碰撞点（3对1映射）确证其不具全局单射性 (#1, #17, #64)。
- 深层对称与极小性：该反例深层存在隐藏的加权 (\mathbb{C}^*) 缩放对称，在不变量 (v=xy, t=x^2z) 下，所有系数均由唯一的一元二次种子 (p(w)=2w-3w^2) 生成 (#64)。该种子被边界条件和积分条件唯一逼出，代表了此族反例的极小性，换用其他种子则可衍生出任意 (n\ge 3) 重的无穷多反例 (#64)。
- 历史性的四大盲点：该猜想历经 87 年未被证伪，坛友总结出学术界的四个系统性盲点：一是方向不对称，学者几乎全部集中于证明该猜想（导致 Engel、Segre、Gröbner 等人均留下错误证明），寻找反例反被视为不体面；二是缺乏候选对象生成器，此前常数雅克比映射的方法本质上只能造出可逆映射（tame group）；三是两大研究纲领分别锁死在 (n=2) 和高维 cubic 齐次简化，导致 (n=3)、度数为 7 的薄地层无人涉足；四是过度信任 2D 的低度数验证结果，其实对 3D 零测子簇上的反例毫无证明力 (#64)。
- 历史近邻与遗憾：数学家 Vitushkin (1971-2004) 已极其接近成功，构筑了几乎所有拓扑与有理映射零件，却因错误证明了二维下某项多项式的不可能性，将自己锁死在 2D 房间中，错失了用相同工具打开 3D 大门的机会 (#64)。此外，1990 年代 Pinchuk 的实数反例和 Cima-van den Essen 针对 Markus-Yamabe 猜想在 3D 下失败的证明也已凑齐了类似模板 (#64)。
- 维度与局部刚性：维度 3 再次被印证为仿射刚性的悬崖，对于 (n \ge 3) 的情形已被该反例彻底推翻 (#12, #20, #64)；而二维（(n=2)）情形不受影响，反而升级为该领域的头号难题 (#12, #13, #20, #64)。
争议或不同意见
- 学术重要性与对比：部分坛友认为该三维证伪的难度和意义并不比 OpenAI 此前解决的 Erdos 单位距离猜想更高，也属于某种 low hanging fruit (#70)。有人指出证明需要极尽数学工具之能事，而证伪反倒常带有些许巧劲 (#69)。
- 对现有定理的实际影响：有坛友指出，作为一个反例，其对学界的实际破坏力仍有待观察；未来研究完全可以通过在雅克比猜想中加入限制 condition 来排除此类反例，从而保留现有大部分建立在雅克比猜想正确假设之上的下游定理 (#73)。
- 张益唐论文回响：针对张益唐博士论文研究该猜想 (n=2) 情形的讨论，坛友指正其当年证明的是一个较弱的结果，且该反例仅针对 3 维及以上，并未直接否定 2 维情形 (#15, #20, #76)。
- AI路径与复现质疑：坛友尝试在关闭网络的情况下用 GPT 寻找反例，发现其只能写出 brute force search 代码却无法跑出结果，因而对 Fable 究竟依靠何种 prompt 策略或 ansatz 机制实现突破表示好奇 (#77)。
最新动态
- 连锁倒下的猜想群：由于数学理论间的等价关联，随着 JC3 被证伪，一系列著名猜想在相应情形下宣告失败，包括 Dixmier 猜想（在 rank 3 失败）、Poisson 猜想、Mathieu 猜想（非交换情形）、Zhao 消没猜想，以及 Smale 第 16 问题被否定回答 (#64)。
- 追踪网站建立：目前已有专门的追踪网站
fableconjecture.com/problems被建立，用于实时跟踪包括七大千禧年大奖难题在内的公开数学猜想及 AI 证伪进展 (#72)。 - AI for Science 的“抽卡”科研：陶哲轩等顶尖学者每日深度使用 ai4sci 寻找科研突破 (#35)。AI 极其擅长在 ansatz 框架下进行高效的符号枚举，这种利用即将过期的 token 额度批量扫描易验证难题的低成本“抽卡式”科研，正颠覆传统学术生产范式 (#34, #65)。