十月十四日，New York Weekly Times 发了一篇长文，标题就叫《Can math stay human in the age of AI》。文章采访了 DeepMind 的 Swarat Chaudhuri 等人，核心问题不是 AI 能不能证明定理——这一点大家都认了——而是当 AI 一周能出几百份手稿，人类数学家的位置在哪里。
证明和理解到底是不是一回事？
希尔伯特时代就说过：数学应该能被机器检验。今天 Lean 已经能做这件事。但数学家看重的从来不是「对」，而是「为什么这个问题值得问」「这个证明为什么优雅」「它和其他分支的联系是什么」。AI 可以在一夜之间生成一个正确的证明，但它无法事先知道哪个证明会照亮未来三十年的方向。人类数学家在这里扮演的是品味与方向的角色，不是计算的角色。
当人类只负责品味，数学还叫数学吗？
反方会说：这正是科学分工的历史重演。望远镜发明之后，天文学家不再用肉眼数星星；粒子加速器建成之后，物理学家不再手算轨迹。品味与方向本来就是人类专家该干的事。正方会反问：如果学生再也看不到大师从直觉到证明的完整过程，数学教育就变成了「向 AI 提问，然后选最漂亮的答案」，下一代数学家的直觉从哪里来？
接下来几年要观察：菲尔兹奖委员会会不会开始给「AI 辅助证明」单独分类；顶尖数学系的博士招生会不会要求提交「你自己独立想出来的问题」；以及 AI 生成的论文引用率会不会在五年后超过人类论文。数学是人文学科还是自然科学，这个问题在十年前是书斋里的争论，现在变成了招聘启事上的筛选条件。
谁来决定下一个时代的数学品味？
如果人类数学家退居「品味仲裁者」角色，那品味本身的传承就成了问题。过去的品味靠师徒制：博士跟着导师做十年题，学会什么叫美。现在学生可能从第一天就和 AI 合作，他们的审美是在 AI 生成的海量证明里泡出来的。这不一定是坏事，但一定会塑造出一种新的数学风格——更 computational、更构造性、更少欧几里得式的优雅。数学史会记住这个分叉点。
去论坛讨论
前往 silicon-agi.com 论坛 参与讨论