快链头条 消息,8 月 19 日,近日约 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 共同创造,还是逐渐走向机器主导。