A complete breakdown of the math behind Fable's Jacobian disproof

TL;DR: 数论学家利用AI模型找到的雅可比猜想反例在三维空间中被证实，该猜想在87年后被推翻，但平面版本依然悬而未决。 ## 背景：一个困扰数学界87年的猜想 1939年，德国数学家奥特·海因里希·凯勒提出了一个关于多项式映射的问题：如果一个从n维空间到自身的多项式映射在每一点上的雅可比行列式都是非零常数（即映射不会压平任何局部区域），那么该映射是否必然拥有一个全局的多项式逆映射？这个看似合理的假设被称为雅可比猜想。几十年来，它被收录在史蒂夫·斯梅尔的21世纪数学问题清单（第16题）中，并且被许多领域的研究成果默认视为正确。然而，历史上多次出现的“证明”最终被证实存在细微错误。 ## 反例的诞生：Fabel的贡献 2023年7月20日UTC时间凌晨2点，数论学家L·埃文·阿尔珀加发布了一个单份预印本，其中给出了一个明确的多项式映射，并声称这是雅可比猜想的一个反例。他将问题归功于友人阿库尔·马修，而关键工作由AI模型“Fabel”完成——他感谢该模型在世界杯决赛期间依然保持运行。所述映射由三个多项式、三个变量组成，系数均为小整数，看似简单无害，但其每一步验证均可手工完成。 ## 雅可比猜想的核心：局部可逆性是否意味着全局可逆性？ 为理解反例，需先回顾猜想的实质。考虑一个从n维空间到自身的多项式映射，它在每一点产生一个雅可比行列式，衡量在该点附近体积的缩放。如果行列式恒为非零常数，那么映射在每一点附近都有一个局部的逆映射（反函数定理保证）。猜想声称这种局部可逆性能扩展到整个空间，并且逆映射本身也是多项式的——即全局、无分母、无例外的代数镜像。例如，二维映射 `(x, y) → (x, y + x²)` 的行列式恒为1，且确实可逆（逆映射为 `(x, y) → (x, y - x²)`）。但猜想是否在所有维度都成立？ ## 验证反例：三个点，一个行列式 阿尔珀加给出的映射为（采用原文三个多项式，但转录中未写出具体表达式，通过上下文可知映射为三个多项式，变量X、Y、Z）。转录中描述了计算过程：取雅可比矩阵（九个偏导数），展开行列式，得到六个乘积、数百个单项式，但所有包含X、Y或Z的项全部抵消，最终剩下常数-2。因此，该映射是一个凯勒映射（行列式为非零常数）。猜想的条件满足。 然后测试单射性：取三个不同的点： - 点1: `(0, 0, -1/4)` → 映射后得 `(-1/4, 0, 0)` - 点2: `(1, -3/2, 13/2)` → 映射后得相同像点 - 点3: `(-1, 3/2, 13/2)` → 映射后也得到相同像点 三个不同的原像映射到同一个像点，这意味着逆映射不存在——它不可能同时将一个点送回三个不同位置。至此，常值行列式已验证，非单射已验证。因此，雅可比猜想在三维空间中为假。通过在未触及其他坐标中填充，这一反例在高维中也同样失效。 ## 失败的本质：逃脱而非折叠 反例内部隐藏着一个三次方程。引入量 `S = X/(1+XY)`，三个输出方程可坍缩为一个关于S的三次方程，其三个系数恰好就是目标点的坐标。计算原像数量等价于计算这个三次方程的根，一个一般点恰好有三个原像——映射将空间覆盖三次，且没有任何折叠。关键在於：该映射不存在临界点（行列式处处为-2），因此经典理论所防范的“折叠”从未发生。相反，当目标点向危险区域漂移时，两个根并未合并，而是加速飞向无穷远。各层从不碰撞，而是逃脱。 实际上，沿着一条细曲线，映射根本没有原像。其像集是整个空间减去一条曲线——一个极其细微的洞。反函数定理监管着每一个有限点，但无人监管无穷远。这是问题的核心：当点跑向无穷远时，如果其像也跑向无穷远，则称为“真映射”。真映射无法施展这种逃脱把戏，而对于真凯勒映射，猜想已成立（它是一条定理）。但该反例恰好是非真的：预印本中给出了明确的点序列，这些点的坐标爆炸到无穷大，而其像却安静地收敛到一个有限目标。有界像、无界源——这就是非真性的实质，而多项式逆映射绝不可能允许这种情况。验证预印本更进一步：同样的机制生成了整个逃脱凯勒映射族，覆盖所有一般三次及更高次数。这并非孤立例子，而是一扇门。 ## 幸存者：二维猜想依然开放 凯勒原始的平面问题未受影响。逃脱需要第三个方向来溜走。因此，二维情况依然悬而未决，并且今天它比以往任何时候都更重要——未来的每一次进攻都确切知道必须证明“真性”在二维中必然成立。 ## AI的角色与验证的简易性 这个反例是由语言模型Fabel在数学家的提问下找到的。蒂莫西·高尔斯称这是LLM首次解决一个著名的开放问题。但不必依赖任何人的断言——整个证伪过程基于有限算术，可被形式化证明助手一行一行验证。取那三个点，自己代入映射计算一下：十分钟和一台袖珍计算器即可完成。几乎没有哪个历史性成果如此容易验证。 ## 结论 凯勒的问题：“局部可逆性是否强制全局可逆性？”87年后，答案是否定的。见证者就是三个点和一个行列式，小到可以在早餐前检查，凌厉到足以终结一个世纪的问题。同行评审仍在进行，但算术已经独立验证。 Source: https://youtu.be/1cZffBe91QU