“本届菲尔兹奖，将是人类最后一次拿下这项数学最高荣誉？”这个论断你相信吗？在王虹、邓煜历史性拿下菲尔兹奖的时候，大会还深入探讨了一个非常关键的问题：迅猛发展的AI究竟会不会取代数学家？国际数学家大会现场，继丘成桐后第二位获菲尔兹奖的华裔数学家陶哲轩当众敲响百年警钟：AI正在引爆数学界前所未有的“价值观危机”。会场外，AI接连推翻悬置数十年的雅可比猜想、埃尔德什单位距离猜想，IMO国际奥数赛场，AI直接交出满分答卷。两个灵魂拷问扑面而来：AI真的会彻底取代数学家吗？我们普通人还有没有必要死磕数学？全释硬科技，我们来一探究竟。

　　AI究竟是怎么做数学题的呢？

　　普通AI像是一个“猜题高手”，比如说我们平时用的大语言模型，本质上还是依靠概率。它通过海量训练数据，计算出概率最高的答案。但这本质是“猜”，有时会产生看似合理实则错误的“幻觉”。而在国际数学奥林匹克竞赛上拿满分的AI，在概率模型的基础上，外加多个智能体分工协作解题，答完题后，还能让计算机像检查程序bug一样，把证明步骤从头到尾验证一遍，保证绝对正确，彻底消灭了“幻觉”的可能。

　　但是在竞赛上拿满分，并不代表AI能取代数学家。我们先要搞清楚一件事：数学家的工作，到底是什么？竞赛题目再难，答案也是已知的。而数学家最主要的工作是：自己提出问题、创造新概念、证明定理、引理、推论，进而搭建数学逻辑大厦。

　　那AI在数学中到底扮演什么角色呢？我们梳理了一下，至少有三大功能。