泉源：洪都拉斯新总统口风又变了作者： 谢伊希：

AI加入找出反例，，，
，87年的雅可比意料在三维及以上被推翻

7月21日新闻，，，
，一条216字符的显式三变量多项式反例，，，
，推翻了数学界研究87年的雅可比意料。
。。。。7月20日，，，
，Anthropic研究职员、哈佛大学数学家莱文特·阿尔珀格（Levent Alp?ge）在X上宣布效果，，，
，并把反例的发明归功于Anthropic的Claude Fable 5在天下杯决赛时代继续盘算。
。。。。

这项效果解决了三变量及更高维情形，，，
，但没有终结整个问题。
。。。。阿尔珀格给出的反例适用于三维复数空间，，，
，并可扩展到所有更高维空间；；；；；二维版本仍然悬而未决。
。。。。

意料说了什么

雅可比意料由德国数学家奥托-海因里希·凯勒（Ott-Heinrich Keller）在1939年提出，，，
，也被列入数学家斯蒂芬·斯梅尔1998年提出的18个21世纪数学难题。
。。。。它讨论的是一类多变量多项式映射：若是映射的雅可比行列式随处是统一个非零常数，，，
，那么它在局部不会把相邻点"挤"到一起。
。。。。意料以为，，，
，这种局部可逆性也应包管整个映射保存多项式反函数。
。。。。

Fable 5加入找到的例子恰恰击中了这个缺口。
。。。。该三变量映射的雅可比行列式恒即是 -2，，，
，知足意料的条件；；；；；但三个差别的输入点都被映射到统一个输出点 (-1/4, 0, 0)。
。。。。一个输出对应多个输入，，，
，反函数便不保存。
。。。。

核验希望

反例宣布后，，，
，数学界迅速睁开核验。
。。。。Wolfram MathWorld已经收录完整公式、三个输入点和盘算效果；；；；；数学家戴维·斯派尔（David Speyer）在专业博客Secret Blogging Seminar上写道，，，
，这个映射通常是三对一。
。。。。谷歌DeepMind的Formal Conjectures项目也在7月20日收到Lean形式化验证代码，，，
，现在拉取请求仍在评审中，，，
，并明确保存了二维版本尚未解决的状态。
。。。。

外界现在仍不知道这个反例是怎样被找到的。
。。。。阿尔珀格的原帖只说Fable在天下杯决赛时代事情；；；；；他没有宣布提醒词、搜索历程、模子运行次数，，，
，也没有诠释人和模子各自完成了哪些方法。
。。。。New Scientist报道称，，，
，阿尔珀格和Anthropic均未回应采访请求。
。。。。

专家怎么看

伦敦玛丽女王大学的阿比谢克·萨哈（Abhishek Saha）对New Scientist体现，，，
，这可能是迄今AI加入解决或推翻的最大数学意料。
。。。。他指出，，，
，这类问题往往很难找到谜底，，，
，但谜底泛起后相对容易核验。
。。。。此次希望显示，，，
，AI的作用已经从检查人类给出的证实，，，
，延伸到搜索和结构可直接验证的数学工具。
。。。。

约克大学的克里斯·鲍曼-斯卡吉尔（Chris Bowman-Scargill）则指出，，，
，找到推翻意料的反例与建构全新数学理论是两类差别的事情。
。。。。后者，，，
，好比怀尔斯证实费马大定理时建设整套新理论、写下约百页数学论证，，，
，仍然依赖人类创立力。
。。。。

数学界的事情已经从核验反例转向诠释其结构。
。。。。斯派尔等人正在剖析这个映射的三重分支和几何泉源，，，
，Lean社区则继续推进形式化代码。
。。。。三变量及更高维版本已经被反例推翻，，，
，二维情形仍要继续寻找谜底。
。。。。（易句）

（本文由AI翻译，，，
，网易编辑认真校对）