本报综合报道 困扰数学界近一个世纪的著名难题——雅可比猜想(Jacobian Conjecture),近日出现了一则令人意外的“婴儿版”突破。一位署名“Baby Step”的研究者在预印本平台arXiv上提交了一篇题为《Jacobian Conjecture for Baby》的论文,声称用一种极其简洁的初等方法证明了该猜想在二维复空间中的完整形式。这一“婴儿学步”式的尝试,立即在数学圈引发热议。

雅可比猜想由德国数学家奥托-海因里希·凯勒于1939年提出,核心命题是:若一个从复数域n维空间到自身的多项式映射,其雅可比矩阵(即所有一阶偏导数构成的矩阵)处处为非零常数,则该映射必然存在一个多项式形式的逆映射。该猜想看似直观——导数非零且不变,函数理应“可逆”——但严格的代数证明却异常困难。尽管数学家已在二维(n=2)情形下取得一些成果,但现有证明依赖高度复杂的代数几何工具,篇幅长达数百页。

据论文摘要介绍,这位“Baby Step”采用了截然不同的路径:通过引入“差分多项式”概念,将二维多项式映射的逆问题转化为一元多项式方程根的分布问题,进而利用代数基本定理和简单的增长率比较得出结论。作者自称,整个证明过程“不需要任何超过本科代数的知识,甚至聪明的高中生都能在黑板上推演”,因此戏称为“for Baby”(给婴儿的版本)。

然而,这一“婴儿版”证明目前仍处于严格审查的十字路口。记者连线采访了国内某知名高校数学系教授、代数几何专家李明(化名),他表示:“雅可比猜想的历史上出现过大量‘简洁错误证明’,许多后来均被发现隐秘的逻辑漏洞。这篇论文的构思确实新颖,但核心步骤中关于差分多项式迭代收敛性的论证,我怀疑存在一个隐含的‘复合次数’限制条件,在无限域上可能失效。”李教授同时指出,即便证明最终被证实有误,其简化思路本身也富有启发性。

值得关注的是,论文作者并未公开真实姓名,仅提供了一个匿名邮箱。这种“蒙面投稿”在高度开放的数学界虽非罕见,但往往意味着作者对争议有所准备。一位曾在1994年参与二维情形证明的法国数学家在接受《数学纪事》邮件采访时表示:“我欣赏这种勇敢的尝试,但我会等到审稿报告出来后再表态。如果你觉得‘婴儿版’能推翻我30年的工作,那必须先说服审稿人。”

截至目前,arXiv上该论文的下载量已突破两万次,众多数学爱好者在其评论区展开激烈讨论。有网友留言:“数学的进步有时就像婴儿学步——跌跌撞撞,但每一步都离真相更近。”也有资深用户警告:“历史告诉我们,雅可比猜想不是摇篮里的婴儿,它是沉睡的巨龙。”

业界普遍认为,此次“婴儿版”论文的价值不在于最终结论,而在于它迫使数学界重新审视这一经典猜想的底层逻辑。如果“Baby Step”的论证路线能在修正后成立,它将为高维雅可比猜想的解决提供一套“降维打击”式的新工具;若最终被证伪,其错误也会成为后来者避开的陷阱。

本台将持续关注雅可比猜想的最新进展,以及这篇“婴儿版”论文的同行评审命运。数学史上从不缺少“少年天才”的传说,但更多时候,解决数学问题需要的不是天才的一蹴而就,而是一代代学者“像婴儿一样”反复审视每一个基础步骤的耐心与勇气。

(本报驻北京记者 张文卓 报道)