一个数学科普作者为什么谈AI

Grant Sanderson 是 YouTube 频道 3Blue1Brown 的创作者，以用动画讲透数学直觉闻名。他最近在自己的 Substack 上写了一篇《An artist's take on AI in math》，从创作者和学习者的双重身份，聊了聊AI在数学里到底扮演什么角色。

这个视角有意思的地方在于：他不是AI研究者，也不是在推销工具，而是一个长期琢磨「怎么让人真正理解数学」的人。所以他关心的不是模型跑分，而是AI能不能帮人建立数学直觉。

AI在数学里擅长什么

按他的观察，AI目前最稳的能力集中在几类任务上：

• 符号计算与形式推导：按规则变形、化简、验证步骤，这类工作AI做得又快又稳。
• 检索与解释：把某个定理的背景、常见证明思路讲一遍，对入门者很友好。
• 生成练习与变式：围绕一个知识点出题、换条件、造例子，比手动翻题库高效得多。
• 代码与可视化辅助：写绘图脚本、数值实验代码，把抽象对象画出来看。

这些能力共同点是：有明确规则、可验证、可反复试错。

AI不擅长什么

他更强调的是另一面。数学里真正难的部分，往往不是推导，而是判断什么问题值得问、哪条路可能走得通、一个证明的直觉从哪里来。这些需要长期积累的品味和判断力，AI给不了，至少现在给不了。