AI 冲击基础数学研究，数学界探讨学科范式转折

近期，多位顶尖数学家与研究者围绕 AI 对基础数学研究的潜在冲击展开深入探讨。核心共识是：AI 即将或已经具备完成部分研究级数学任务的能力，这将根本性地改变数学家的工作方式，但人类专家的直觉与引导依然不可或缺。

已确认

AI 进展与学科转折点：AI 正以前所未有的速度解决数学开放问题与猜想。以 Jacobian conjecture（雅可比猜想）的最新进展为例，Surya Ganguli 指出 AI 在寻找反例时展现出的是“创造力”而非单纯的暴力搜索。Kangwook Lee 与 Dimitris Papailiopoulos 等人认为，这仿佛让学科发展被“提前”了十年，数学可能迎来类似 AlphaGo 对围棋那样的历史性转折。

AI 能力预期与职业转向：Jacob Tsimerman 认为，现代数学研究高度依赖“解题”，若 AI 在此占据绝对优势，数学家的工作形态将发生根本变化。他预计 AI 可能在大约 2 年内在所有数学证明任务上超过人类，因此他准备转向 OpenAI 的 AI 团队。

ICM 2026 工作假设：Alex Kontorovich 在 ICM 2026 现场提出了一个模板式的“AI 能力猜想”：在不远的将来，某些 AI 工具有望在一定成本、一定人类监督下，完成某些数学领域的研究级任务。基于此假设，他强调一位足够强的数学家配合 AI agent，其实际效能将明显强于同等水平但不使用 AI 的数学家，或一群聪明但非数学专业的人配合无限 API。陶哲轩也对此前提展开了探讨。

行业现状：据 APPSO 报道，AI 实际上已经开始改写数学研究的工作流程（如解题、验算证明等），但尚未完全取代数学家。同年菲尔兹奖也见证了历史上首次有两位中国出生的数学家（邓煜、王虹）同届获奖。

为什么重要

数学一直被视为人类智力皇冠上的明珠。如果 AI 在短期内真能在逻辑证明和问题求解上达到甚至超越顶尖人类水平，不仅意味着科研范式的重构，更将重新定义“数学家”这一职业的核心价值——从单纯的“解题者”转变为 AI 直觉的“提炼者”与研究的“架构师”。这种转变对基础科学的人才培养和探索方向具有深远影响。

2026-07-23 ~ 2026-07-25 · 11 条相关

一手来源