数学界近日迎来一场前所未有的风暴——存在87年的雅可比猜想被人工智能模型Fable 5证伪。这个曾让无数顶尖数学家铩羽而归的难题,在三维空间中找到了精妙反例,彻底颠覆了数学界对多项式映射的认知。
雅可比猜想的核心问题可追溯至1939年:若一个多项式映射的雅可比行列式为非零常数,该映射是否必然存在多项式逆映射?这个看似简单的命题,实则蕴含着从局部性质推导全局结构的深刻数学挑战。二维版本早在1884年就已提出,但后续证明被发现存在漏洞,而高维情形更是成为数学领域的"黑洞"。
突破发生在某个寻常的周末。Anthropic研究人员Levent Alpoge在社交平台发布惊人消息:其团队利用AI模型Fable 5在三维复空间中构造出反例。这个从C³到C³的多项式映射,其雅可比行列式恒等于-2,却将三个不同点(0,0,-1/4)、(1,-3/2,13/2)和(-1,3/2,13/2)映射到同一点(-1/4,0,0),直接否定了猜想的全局可逆性。
这个反例的优雅性令数学界震惊。加州大学伯克利分校副教授Jason Lee评价其"简洁到可以手算验证",Wolfram Alpha的快速核验也证实了结果的正确性。更令人惊叹的是,OpenAI研究人员Aaron Lou使用内部模型Codex独立推导出本质相同的反例,并完成了从三次因式分解到仿射坐标变换的完整数学推导。
事件背后隐藏着一段令人唏嘘的学术往事。华人数学家张益唐在普渡大学攻读博士期间,曾因导师莫宗坚提供的错误引理,在雅可比猜想研究上耗费七年光阴。这段经历导致他未能获得导师推荐信,被迫离开学术界,在赛百味打工维持生计。直到2013年,58岁的张益唐凭借孪生素数猜想的突破性成果才重返数学舞台。
值得注意的是,此次被证伪的是广义雅可比猜想,即"所有维数都成立"的版本。张益唐当年研究的二维情形至今仍是未解之谜,其数学意义更为重大。但三维情形的突破已引发连锁反应:数据科学家Cal Aldred宣称利用Fable与GPT 5.6组合开发出生成无限反例的方法,而GPT-5.6更提出修正后的新猜想,试图重新定义问题边界。
这场数学革命正在重塑学术研究范式。菲尔兹奖得主Timothy Gowers悲观预言:"2030年的菲尔兹奖可能是最后一次颁给人类。"UC伯克利团队已证实,AI不仅能发现反例,更能揭示背后的结构性机制,这种创造力已超越单纯模仿人类思维的阶段。当数学家们争相验证Fable 5的推导时,数学研究正在进入人机协作的新纪元。











