数学家齐聚OpenAI，共议AI时代研究价值

8月19日，约40名全球顶尖数学家于旧金山OpenAI办公室举行会议，核心议题为：当AI在数学研究领域超越人类后，数学家的未来角色如何定位。

核心观点

多伦多大学教授Daniel Litt 提出极端设想：未来可能出现「高质量数学研究消失、人类数学专业能力逐渐丧失」的局面。他呼吁数学界尽快适应AI带来的变化。

OpenAI数学家、菲尔兹奖得主Jacob Tsimerman 则预计，AI很快将在数学研究领域达到「稳定超越人类」的水平，其近期已宣布加入OpenAI参与AI安全相关工作。

AI数学成果初现

  • 今年5月，OpenAI一款未公开发布模型提出反驳「单位距离猜想」的例子，被认为达到可发表水平

  • Anthropic研究人员利用Claude辅助完成高维数学问题研究


分歧犹存

哈佛大学数学家Melanie Matchett Wood指出，顶级AI模型仍难以准确解释证明中的关键难点。西北大学数学教授Bryna Kra强调：「一个没有被理解的证明，不会真正成为数学文献的一部分。」

OpenAI研究科学家Sébastien Bubeck则认为，AI更可能成为数学家的工具而非替代者，未来数学研究可能类似软件工程或物理学模式，由人机协作推动。