核心内容总结
青年数学家Levent Alpöge在世界杯决赛期间，用AI工具Fable 5意外找到代数几何领域百年难题“雅可比猜想”的反例，证明该猜想不成立。这个反例简单到懂微积分就能验证，引发数学界震动——不仅终结了众多数学家的无用功，还连带推翻了关联的Dixmier猜想等；同时，事件也让AI在数学研究中的潜力受到高度关注，甚至有人猜测未来AI可能获菲尔兹奖。此外，事件还牵扯出张益唐与该猜想的渊源，澄清了关于他博士论文的部分误解。
一、雅可比猜想：数学界的“致命诱惑”，百年难啃的硬骨头
雅可比猜想是代数几何里的“明星难题”，简单说就是：如果一个多项式映射的雅可比行列式（可以理解为判断函数局部是否可逆的“指标”）是一个非零常数，那这个映射是否全局可逆？
它的“诱惑性”在于：
- 起点简单：高中微积分里，一维函数导数恒正就严格单调（可逆），但多维/复数空间里这个直觉失效（比如复指数函数导数非零却周期重复）。数学家想知道，换成“最简单的多项式映射”+“雅可比行列式恒为常数”，能不能恢复可逆性？
- 地位重要：1998年菲尔兹奖得主Smale把它列为“下世纪数学问题”第16题，解决它能推动代数几何发展。
- 错误证明重灾区：历史上无数顶尖数学家（如意大利学派的Segre、代数几何学家Gröbner）都曾发表“证明”，但很快被发现漏洞——堪称数学界最危险的“坑”。
二、看球时的意外：AI几小时给出反例，人人能验证
Alpöge的发现过程像“数学版的灵光一闪”：
1. 契机：世界杯决赛太沉闷，他边看球边和朋友聊起雅可比猜想，顺手把问题丢给AI工具Fable 5。
2. 结果：几小时后AI给出反例——一个三维多项式映射，雅可比行列式恒为-2（非零常数），但存在三个不同输入（A=(0,0,-1/4)、B=(1,-3/2,13/2)、C=(-1,3/2,13/2)）映射到同一个输出(-1/4,0,0)。
3. 验证：Alpöge手算后用Wolfram Alpha确认，反例成立——这直接证明猜想错了（因为猜想说“雅可比行列式为常数就全局可逆”，但这个映射连“单射”都不是，更别说可逆）。
最神奇的是，这个反例懂微积分就能看懂——不需要高深的代数几何知识，普通人跟着代入公式就能验证。
三、一石激起千层浪：反例推翻百年猜想，关联问题“连锁失效”
这个反例的影响远超猜想本身：
- 终结无用功：之前大批数学家围绕猜想投入半生精力，现在不用再做了。
- 连带推翻其他猜想：雅可比猜想和Dixmier猜想（Weyl代数自同态问题）、Poisson猜想是“稳定等价”的——一个错，其他也跟着错。
- AI的突破：菲尔兹奖得主Gowers评价，这是LLM第一次解决“他久仰大名的重大问题”。有人大胆预测，未来AI可能获菲尔兹奖（Gowers也认为“下下届有可能”）。
四、张益唐的“半生蹉跎”：与雅可比猜想的不解之缘
事件还牵扯出张益唐的往事，澄清了几个误解：
- 论文真相：流传说法称张益唐博士论文“证明雅可比猜想失败”，但现存存档显示，他的论文是研究二维情形下的“域扩张次数”，不是直接证明猜想；且论文通过了，他1991年拿到普渡博士学位。
- 人生低谷原因：导师莫宗坚没给他写推荐信，导致他找不到学术工作，只能打零工——但二维雅可比猜想可能仍成立（莫宗坚1983年验证了二维次数≤100的情形）。
- 澄清同名问题：国内曾有“破解Jacobi猜想”的成果，是ODE方向的同名问题，和本次的代数几何猜想无关。
五、AI闯入数学殿堂：未来会取代人类数学家吗？
这次事件让AI在数学研究中的角色成为焦点：
- AI是“工具”而非“替代者”：Alpöge本身是顶尖数学家（哈佛研究员，导师是菲尔兹奖得主Bhargava），AI是在他的引导下找到反例——不是AI独立解决，而是“人类+AI”的合作。
- 改变研究方式：AI能快速检索文献、尝试大量可能性，帮人类避开“思维定式”（比如这次反例很简单，但人类数学家因“隐函数定理的诱惑”没发现）。
- 未来趋势：AI会成为数学研究的重要辅助，但人类的专业判断和创造力仍是核心——毕竟，提出问题、引导AI、验证结果，都需要深厚的数学功底。
结语
雅可比猜想的证伪，不仅是数学界的重大突破，更是AI与人类智慧结合的典范。它让我们看到：AI正在打破传统研究的边界，但人类的好奇心和专业能力，依然是推动科学进步的核心动力。未来，数学殿堂里，AI和人类数学家的“合作”，或许会带来更多意想不到的惊喜。