RecodeX 重构消息,近日,约40名全球顶尖数学家在美国旧金山OpenAI办公室举行会议,讨论人工智能在数学研究领域超越人类后,数学家未来角色的问题。多伦多大学教授Daniel Litt提出,未来可能出现“高质量数学研究消失、人类数学专业能力逐渐丧失”的极端设想,并呼吁数学界尽快适应AI带来的变化。
OpenAI近期公布了10项由AI生成或辅助完成的数学与计算机科学成果,涉及多个通常需多年训练才能掌握的研究领域。OpenAI数学家、菲尔兹奖得主Jacob Tsimerman表示,AI可能很快在数学研究领域达到“稳定超越人类”的水平,他近期宣布将加入OpenAI参与AI安全相关工作。今年5月,OpenAI一款未公开发布的模型提出了反驳“单位距离猜想”的例子,被部分数学家认为达到可发表水平;Anthropic研究人员也利用Claude辅助完成高维数学问题研究。
不过,数学界对AI取代人类研究者仍存分歧。哈佛大学数学家Melanie Matchett Wood指出,顶级AI模型仍难以准确解释证明中的关键难点;西北大学数学教授Bryna Kra强调,数学不仅是得到答案,更重要的是理解结果。OpenAI研究科学家Sébastien Bubeck则认为,未来数学可能类似软件工程或物理学,AI将帮助研究者协作解决复杂问题。