“人类最后一次斩获菲尔兹奖？”面对这一论断，你几分信？当王虹、邓煜以历史性突破摘得数学界最高荣誉时，国际数学家大会聚焦了一个尖锐议题：AI狂飙突进，会否让数学家失业？陶哲轩——继丘成桐之后第二位获此殊荣的华裔学者，在大会上敲响百年警钟：AI正引发数学界前所未有的“价值观危机”。会场之外，局势更为激烈。AI接连推翻悬置数十年的雅可比猜想与埃尔德什单位距离猜想；在国际数学奥林匹克（IMO）赛场，AI更是直接交出满分答卷。两大灵魂拷问迎面而来：AI真能彻底取代数学家吗？普通人还有必要死磕数学吗？全释硬科技带你一探究竟。
AI究竟如何解题？
普通AI宛如“猜题高手”。日常使用的大语言模型，本质依赖概率计算，通过海量训练数据推算出最可能的答案。但这仍是“猜测”，常伴生看似合理实则谬误的“幻觉”。相比之下，在IMO中拿满分的AI，则在概率模型之上引入多智能体协作。它们分工解题，并让计算机像排查代码Bug般，从头至尾验证证明步骤，确保绝对正确，彻底根除“幻觉”隐患。
但在竞赛中夺魁，并不意味着AI能替代数学家。关键在于厘清：数学家的核心工作究竟是什么？竞赛题目再难，答案早已既定。而数学家的主业是提出新问题、创造新概念、证明定理、引理及推论，进而构建数学逻辑大厦。
梳理现状，AI在数学领域至少扮演三大角色。
首先，它是数学家的“探路者”。
尽管目前AI尚难独立证明前沿猜想，却能有效指引研究方向。证实猜想需漫长推导，但寻找一个“反例”即可瞬间证伪。犹如曾以为“所有天鹅皆白”，发现一只黑天鹅，整个论断即告崩塌，无需再满世界搜寻白天鹅。今年，数学家借助AI找到了雅可比猜想和埃尔德什单位距离猜想的“黑天鹅”，从而证明原猜想错误。AI的大规模计算探索，能快速剔除死胡同，避免数学家耗费数年甚至数十年，在错误路径上徒劳苦干。
其次，它是数学家的“外置大脑”。
AI堪称“数学通才”，囊括从数论到拓扑、从几何到代数的全部知识。它能跨越不同分支审视同一问题——这对高度专业化的数学家而言往往难以企及。今年5月，OpenAI利用数论方法解决几何空间问题，以此推翻埃尔德什单位距离猜想。这种跨域视角，对传统思维定式形成了“降维打击”。
最后，它跨越时间，为自然科学难题寻找钥匙。
数学具有一种迷人特质：理论往往超前于现实。许多成果诞生之初仅是纯粹的“思维游戏”，直至数十年甚至上百年后，才成为自然科学的关键工具。例如黎曼几何，初现时看似无用，六十多年后，爱因斯坦才发现它是广义相对论的数学基石。如今，AI正将这种“世纪等待”压缩为“即时检索”。它似一位数学考古学家，在浩如烟海的尘封文献中，挖掘未来解开自然谜团的钥匙。
综上，AI必将助推数学加速发展。未来菲尔兹奖的研究成果中或许必有AI身影，但提出猜想、创造全新概念、搭建完整理论体系的，依然是人类数学家。唯有他们，能触碰数学真正的灵魂。AI擅长穷尽繁杂计算，负责走完已知逻辑；而人类，才是奔赴未知、开拓全新数学世界的先行者。
