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