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