近期，人工智能（AI）在数学上的密集突破引发广泛关注。腾讯混元科研智能体Hyra依托Hy3大模型，仅用24小时便攻克了一道延续50余年的难题；OpenAI披露其测试模型已解决或推动解决10道长期未解的数学问题；AI已经在国际奥数竞赛中拿到满分，还接连推翻了好几个存在几十年的数学猜想。有人甚至问：将来菲尔兹奖会不会也被AI拿走？

　　那么，AI到底有多强？它会不会彻底取代数学家？我们普通人还要不要学数学？

　　AI怎么做数学题？

　　平时我们用的聊天AI，本质上是“猜答案”的高手。它通过海量数据学习，算出最有可能正确的回答。但在奥数竞赛中拿满分的AI不太一样。它除了会“猜”，还让多个智能体分工合作，做完题目后，再像检查程序漏洞一样，把每一步证明都重新验证一遍，确保绝对正确。

　　不过，竞赛满分并不等于能当数学家。因为竞赛题的答案都是已知的，而数学家真正的工作，远不止解题。数学家最重要的任务，是自己提出问题、创造新概念、证明定理，再把这些定理串联起来，搭建出一座座数学大厦。比如“勾股定理”不是谁出题考他们，而是他们自己发现和证明的。

　　AI能帮数学家做三件大事

　　虽然AI还不能独立创造新数学，但它已经成为数学家的得力助手，至少有三项实用功能。

　　第一，AI是“探路者”。

　　想证明一个猜想往往很难，但只要找到一个“反例”——一个不符合猜想的特殊情况——就能立刻说明猜想是错的，大家就不必再白费力气。今年，AI通过大规模计算，找到了雅可比猜想和埃尔德什单位距离猜想的“反例”，证明它们并不成立。这让数学家少走几年甚至几十年弯路。

　　第二，AI是“外置大脑”。

　　一个数学家通常只精通一两个分支，比如代数或几何。但AI可以同时掌握数论、几何、拓扑等所有领域的知识，并能跨分支审视同一个问题。今年OpenAI推翻埃尔德什单位距离猜想时，用的竟然是数论里的方法，用来解决几何问题——这种跨界的思路，很多人类数学家很难做到。

　　第三，AI是“考古学家”。

　　数学有个奇妙特点：很多成果诞生时毫无用处，几十年甚至上百年后才成为物理、工程的关键工具。比如黎曼几何诞生60多年后，爱因斯坦才用它来创立广义相对论。现在，AI能快速翻遍所有历史文献，找出那些“沉睡”已久的数学工具，提前为未来的科学难题准备钥匙。

　　谁才是数学世界的创造者？

　　有了这些本事，AI会不会彻底取代数学家？答案是否定的。AI擅长计算、验证、搜索和找反例，但提出全新的猜想、创造前所未有的概念、搭建完整的理论体系，这些还属于人类。AI走完了“已知的逻辑”，而人类才是走向“未知领域”的先行者。

　　对我们普通人来说，学数学不是为了和AI比计算，而是锻炼逻辑思维、学会发现问题、养成严谨的推理习惯——这些能力，无论有没有AI，都至关重要。

　　思维

　　AI做数学题很厉害，但人类可不是为了做题而做题。想要锻炼逻辑思维和推理能力，还是老老实实认真学数学吧。