菲尔兹奖终于落到了咱们本土数学家王虹和邓煜身上,这是中国数学一个里程碑式的崛起。咱们的基础数学培养,正式迈进了世界顶尖行列。
今天我们要讲的,是另外一件被大家忽略的事情。在费城颁奖会当天,真正引爆全球科技圈的,是另外一位菲尔兹奖得主,来自加拿大的雅各布·齐默曼。他在领奖结束后,就当场宣布:自己将暂停数学方面的研究,全职加入OpenAI,研究人工智能。
然而全球媒体都把这件事情,解读成了“菲奖大神入职AI大厂”,却严重忽略了他说的那一句极具颠覆性的预判:最快2028年,人工智能的数学推理、猜想发现与严谨证明的能力,将会全面超越人类最顶尖的数学家。
这是他不再专注数学领域的研究,而转向AI的唯一原因。当然,他是不会随口乱说的,而是基于自己过去两年,用AI在数学领域接连爆发出来的成果,做出的冷静判断。
齐默曼本人早已把AI当成了日常科研工具。他很早就公开分享过自己的工作流:依靠ChatGPT完成80%的文献梳理、引理推导与草稿验算。AI已经让他的个人论文产出效率翻了几倍,一年之内,就完成了5篇学术论文。更震撼的是,他自己曾经耗时很久、中途放弃的一道难题,被AI完整推导出来了。正因为他是深度使用者,所以他看得比谁都清楚。
为此,他已经全面停止招收新的数学博士生了,理由很简单:现在入学的学生,2030年毕业后,那个时候,人类已经没有传统数学家这个职业了,他不愿意带着学生,奔赴一个即将消失的行业。
齐默曼并没有乱说,我们来看看最近一年,AI在数学界的一系列“破圈暴击”就知道了。2026年5月,OpenAI内部推理模型,独立推翻了困扰学界整整80年的埃尔德什单位距离猜想,整套证明经过多名顶尖数学家核验,达到了可以直接发表期刊的水准;仅仅一天之后,谷歌的DeepMind,又一次性攻克了9道搁置数十年的埃尔德什难题,其中最长的一道尘封了56年。
7月,齐默曼的一位学生,用Anthropic的Fable5,找到了悬置87年的雅可比猜想三维以上的反例;几乎同一时间,一款普通中端AI智能体,在无人专门提示的情况下,仅仅用8分钟的时间,就顺手推翻了一道尘封30年的图论猜想。
要知道,这些东西可都不是什么简单的计算题,而是人类几代天才,苦苦攻坚的世界级难题,就这样被AI轻易解决了。
咱们的两位中国获奖者,也有同样的感受。邓煜坦言,自己曾经遇到过一个卡壳数天的特例,AI给出了简洁有效的证明思路;王虹在发言中也提到了,未来数学家必须学会和AI协同科研。
从数学界顶级人才的流动,更能印证,这是一场数学研究的大迁徙。短短三年,全球顶尖高校数学系的博士毕业生,流向AI产业的比例,从12%暴涨至37%。顶级数学家排队奔赴AI赛道的浪潮,已成定局。
还有一些数学界的同行,在那里自我安慰:认为AI只会做证明,不会提出伟大的猜想。但齐默曼警告大家,这只是阶段性幻觉。AI不仅验算速度碾压人类,还在自主提出新问题、构建全新的数学框架。两年之内,AI会覆盖完整的数学家工作链路:找方向、提猜想、写证明、核验漏洞。
这一切都足以说明,由人工智能主导的数学革命,已经拉开了序幕。关注黑牛聊科技,每日为你解读科技前沿热点事件。

