“人类最后一次斩获菲尔兹奖？”这句断言，你信几分？当王虹、邓煜打破历史纪录捧回这座数学界最高荣誉时，国际数学家大会的聚光灯下，一个尖锐议题被反复咀嚼：狂飙突进的AI，会不会把数学家连根拔起？
会场内，继丘成桐之后第二位摘得菲尔兹奖的华裔数学家陶哲轩，敲响了百年警钟：AI正引发数学界前所未有的“价值观危机”。会场外，现实更具冲击力——雅可比猜想、埃尔德什单位距离猜想这两个悬置数十年的难题，接连被AI推翻；在IMO国际奥数赛场，AI更是直接甩出满分答卷。两记灵魂重拳迎面砸来：AI真能彻底取代人类吗？普通人还有必要死磕数学吗？全释硬科技带你拆解真相。
AI到底怎么解数学题？
日常用的大语言模型像个“猜题高手”，底层逻辑靠概率。海量数据训练后，它吐出概率最高的答案。但这本质是猜测，容易冒出看似有理实则荒谬的“幻觉”。而能在IMO拿满分的AI，在概率模型之上，引入了多智能体协作机制。解题结束后，计算机还会像查程序Bug那样，从头到尾验证证明步骤，确保绝对正确，彻底掐灭“幻觉”的苗头。
不过，竞赛满分不等于能取代数学家。得先厘清一点：数学家究竟在做什么？竞赛题目再难，答案早已摆在那儿。数学家的核心工作，是提出新问题、创造新概念、证明定理与推论，进而搭建起宏大的数学逻辑大厦。
那么，AI在数学里到底扮演什么角色？梳理下来，至少有三大功能。
第一，AI是数学家的“探路者”。
尽管目前AI大多无法独立证明前沿猜想，但它能帮数学家判断方向。证实猜想需要漫长推导，但找到一个“反例”，就能瞬间宣告此路不通。就像人们曾笃信“所有天鹅都是白的”，只要发现一只黑天鹅，整个论断即刻崩塌，无需再满世界找白天鹅。今年，数学家借助AI找到了雅可比猜想和埃尔德什单位距离猜想的“黑天鹅”，从而证伪了原猜想。AI的大规模计算探索，能快速排雷，避免数学家耗费数年甚至数十年，在死胡同里埋头苦干。
第二，AI充当数学家的“外置大脑”。
AI是个“数学通才”，从数论到拓扑，从几何到代数，知识储备包罗万象。它能跨越不同分支审视同一问题——这正是高度专业化的数学家难以企及的。今年5月，OpenAI推翻埃尔德什单位距离猜想时，便用数论方法解决了几何空间问题。这种跨领域视角，对传统思维定式形成了“降维打击”。
第三，AI能穿越时空，寻找解开自然科学谜题的钥匙。
数学有个迷人特质：理论往往超前于现实。许多成果诞生之初只是纯粹的“思维游戏”，直到几十年甚至上百年后，才突然成为自然科学的关键工具。比如最初看似无用的黎曼几何，六十多年后，爱因斯坦才发现它是广义相对论的数学基石。如今，AI正把这种“世纪等待”压缩为“即时检索”。它宛如一位数学考古学家，在浩如烟海的尘封文献中，挖掘未来解决科学谜团的钥匙。
聊到这里，可以确信：AI必将加速数学发展。未来的菲尔兹奖成果里，或许会有AI的身影，但提出猜想、创造全新概念、构建完整理论体系的，仍是人类数学家。唯有他们，能触碰数学真正的灵魂。AI擅长穷尽繁杂计算，负责走完已知逻辑；而人类，才是奔赴未知、开拓全新数学世界的先行者。