AI 逼近“超人级数学能力”，顶尖数学家担忧人类研究价值被削弱

近日，约 40 名全球顶尖数学家在旧金山 OpenAI 办公室举行会议，讨论一个备受争议的问题：当人工智能在数学研究领域超越人类后，数学家未来还将扮演什么角色。

多伦多大学教授 Daniel Litt 在会议上提出一种极端设想：未来可能出现“高质量数学研究消失、人类数学专业能力逐渐丧失”的情况。他表示，虽然这并非最可能发生的结果，但数学界必须尽快适应 AI 带来的变化。

数学被认为是最早受到 AI 科研能力冲击的学科之一。近期，OpenAI 公布了 10 项由 AI 生成或辅助完成的数学与计算机科学成果，涉及多个通常需要多年训练才能掌握的研究领域。

OpenAI 数学家、菲尔兹奖得主 Jacob Tsimerman 表示，AI 很快可能在数学研究领域达到“稳定超越人类”的水平。他近期宣布将加入 OpenAI，参与 AI 安全相关工作。

近年来，AI 已开始产生部分具有突破性的数学成果。今年 5 月，OpenAI 一款尚未公开发布的模型提出了反驳“单位距离猜想”的例子，该成果被部分数学家认为达到可发表水平。与此同时，Anthropic 旗下研究人员也利用 Claude 辅助完成高维数学问题研究。

不过，数学界对于 AI 是否会取代人类研究者仍存在分歧。部分专家认为，AI 能够生成证明，但未必真正理解数学概念。哈佛大学数学家 Melanie Matchett Wood 指出，目前顶级 AI 模型仍难以准确解释证明中的关键难点。

西北大学数学教授 Bryna Kra 表示，数学不仅是得到答案，更重要的是理解结果。“一个没有被理解的证明，不会真正成为数学文献的一部分。”

也有研究者认为，AI 更可能成为数学家的工具，而非替代者。OpenAI 研究科学家 Sébastien Bubeck 表示，未来数学可能类似软件工程，由 AI 帮助大量研究者协作解决复杂问题；也可能类似物理学，通过 AI 模型推动更大规模的科学探索。

随着 AI 在科研领域持续突破，数学家正在面对一个新的时代命题：未来的数学研究，是人与 AI 共同创造，还是逐渐走向机器主导。