震惊数学界：“雅可比猜想”被AI一夜证伪！

昨晚，全世界数学圈被一颗重磅炸弹彻底掀翻。一个让无数顶尖数学家折戟沉沙、让华人天才张益唐苦熬7年，甚至被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Anthropic的AI模型Fable 5在一夜之间轻松证伪。

当研究人员Levent Alpoge在社交媒体上贴出那个简洁到可怕的数学公式时，震动从X平台迅速蔓延至全球每一所大学的数学系。有人惊呼“数学完了”，有人感叹这是“现代数学中最鼓舞人心的故事之一”，但更多人第一时间想到的，是张益唐那双在快餐店后厨洗过盘子的手。

雅可比猜想诞生于1939年，问题本身简单到任何一个微积分初学者都能理解：如果一个多项式映射的雅可比行列式是非零常数，那么它是否一定存在多项式的逆映射？这是典型的“局部到全局”的直觉陷阱，看起来理所当然，却让人类顶尖头脑困惑了整整87年。
二维版本早在1884年就被提出，附带一个后来被证伪的错误证明，此后无数数学家的所谓“攻克”都沦为逻辑漏洞的牺牲品。直到这个昨天，Fable 5没有沿着人类的证明思路苦苦挣扎，而是直接在三维空间中甩出了一个优雅至极的反例——任何一个大一新生都能通过求偏导验证其雅可比行列式恒等于-2，同时这个映射将三个截然不同的点映射到同一个结果，彻底宣告了逆函数的不存在。
就这样，87年的数学黑洞，被AI“随手”撕裂。

社交媒体瞬间陷入疯狂。数学家们争相用Wolfram Alpha核验，发现结果完美无缺；UC伯克利教授Jason Lee直呼“Math is solved”；OpenAI的研究者用内部系统从零推导出本质相同的反例，还给出了完整的结构性机制。更令人震撼的是，GPT-5.6迅速提出了修正后的新猜想，指导人类如何重新定义这个问题——AI已展现出真正的数学创造力，而非对训练数据的表面模仿。数据科学家甚至用Fable生成了无限多个反例的方法，仿佛这只是一个开始，多米诺骨牌即将接连倒下。

然而这个故事最刺痛人心的部分，始终围绕着张益唐。1990年代初，他在普渡大学攻读博士，导师莫宗坚坚信雅可比猜想的正确性，将这个难题作为张益唐的论文课题。莫宗坚给了张益唐一条“引理”，张益唐沿着这条路线深入研究，甚至在论文中宣称解决了弱形式。但命运给了他最残酷的玩笑——那条关键引理被证明是错误的，而它恰恰源自导师本人先前的学术成果。数年构建的理论大厦轰然倒塌，莫宗坚评价张益唐“不适合代数几何”，称博士生涯“浪费了我7年光阴”，更拒绝为他写推荐信。
一个普渡大学的博士毕业生因此被学术界拒之门外，开始了长达数年的漂泊，最广为人知的是在赛百味快餐店打工7年。直到2013年，58岁的张益唐凭孪生素数猜想的突破一夜成名，用杜甫的诗句感慨：“庾信平生最萧瑟，暮年诗赋动江关。”而莫宗坚直到2018年仍在补充“回忆录”指责张益唐，始终不愿承认自己引理的错误，依旧坚信雅可比猜想终将被证明。

今天，AI给出了简单到残酷的反例。尽管必须澄清，这次被证伪的是三维广义版本，而张益唐当年研究的二维情形数学意义更大、至今仍未解决，但这丝毫不减损事件的冲击力。菲尔兹奖得主Timothy Gowers悲观而震撼地预言：2030年的菲尔兹数学奖，可能是最后一次颁给人类。那个在赛百味后厨度过7年光阴的数学天才，终究错付了最珍贵的学术年华——而AI只用了今年7月的一个傍晚。
#热门微博##科学新闻##人工智能##数学#