（来源：南湖晚报）

转自：南湖晚报

制图 AIGC

近期，人工智能（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 做数学题很厉害，但人类可不是为了做题而做题。想要锻炼逻辑思维和推理能力，还是老老实实认真学数学吧。