AI的三行公式：推翻87年的数学猜想！

近日，一个短到能塞进社交平台单条帖子的数学公式，悄然在数学界引爆了一枚重磅炸弹。人工智能公司Anthropic的数学家莱文特·阿尔珀格，借助该公司最新推出的大型语言模型Claude Fable 5，找到了困扰学界87年的“雅可比猜想”的一个反例。这个极其简洁的三维函数，不仅推翻了对该猜想高维情形的普遍认知，更让原本统一的数学图景骤然裂开——二维情形依然悬而未决，而三维及以上维度已被证明为假。

要理解这个猜想，不妨想象一张橡胶做的地图。你用手指摁住一个点，把它拖到另一个位置，整张地图随之拉伸或压缩。数学家研究的就是这种“变形”能否被逆转——也就是能不能再把地图完好无损地恢复原样。如果变形过程中，任何一个局部都没有出现折叠或撕裂，那么凭直觉你可能会认为：整张地图肯定能复原。
雅可比猜想说的正是这件事——只要变形处处“光滑且不折叠”，就一定存在一个逆变形，能把所有点精准地送回原位。

这个猜想听起来像常识，但数学的残酷之处恰恰在于，常识往往靠不住。二维版本由捷克数学家路德维希·克劳斯于1884年提出，1939年德国数学家奥特-海因里希·凯勒将其推广到任意维数。此后无数顶尖头脑扑向这座堡垒，菲尔兹奖得主史蒂芬·斯梅尔在1998年将其列入“下世纪的数学问题”清单。著名数学家本尼阿米诺·塞格雷和沃尔夫冈·格罗布纳都曾宣称完成证明，但每一次都被发现论证中存在细微却致命的漏洞。大量局部成果不断加固着猜想的可信度——计算表明二维情形下次数不超过100的多项式全部符合猜想，但一般情形始终无人企及，同时也没有任何人找到任何一个反例。

这种僵持局面最诡异之处在于，寻找反例理论上并不困难。构造一个会把两个不同点“揉”到一起的变形很容易——比如把整张地图的上半部分和下半部分叠在一块儿。要造出一个处处不折叠的变形也不难。但难点在于，如何让这两种性质同时出现在同一个变形身上。
正如一位数学爱好者在2017年网络论坛上的感慨：“就我们目前所知，某个聪明的本科生完全有可能写出一个公式，成为该猜想的一个反例。”
这句近乎预言的话语在9年后成为现实。阿尔珀格找到的三维空间函数，处处不折叠，却偏偏会把不同的点压到同一个位置，使得逆向还原根本不可能发生。公式简短到可以在社交媒体上完整呈现，验证工作变得异常直接，其他数学家几乎可以立即确认其正确性。

这一发现彻底颠覆了此前对雅可比猜想的整体认知——它不再是普适的真理，而更像一个随维度升高而失效的特殊现象。二维情形孤零零地悬在半空，既未被证明也未被推翻，其难度可能远超数学家此前的估计。
阿尔珀格并未依赖冗长的计算机穷举或复杂的程序验证，而是通过大语言模型的启发，在庞大得令人绝望的搜索空间中找到那条隐蔽的路径。不同于近期其他AI辅助数学突破中那种繁复的证明构造，这次的成果简单到极致，难点全在于如何在浩瀚的可能性中定位到它。

大型语言模型近期在数学领域屡建奇功——OpenAI对单位距离猜想的反证、23岁业余数学家利亚姆·普赖斯完成的埃尔德什1196问题证明，都展示了AI跨越不同数学分支、整合思想的惊人能力。但雅可比反例呈现了另一种面向：人工智能的价值或许不仅在于构建复杂证明，更在于发现人类思维盲区中那些意想不到的数学对象。
一条三行公式轻巧地撬动了87年的坚固城墙，城墙倒塌后留下的二维孤堡，依然沉默地等待下一个破局者。无论这场维度裂变最终将数学引向何方，一个事实已经清晰——AI正在改变发现数学真理的方式，而人机协作的新纪元才刚刚掀开一角。
#热门微博# #科学新闻# #数学# #哈勃观察员[超话]#