约 40 名顶尖数学家聚首 OpenAI 探讨 AI 冲击

全球顶尖数学家在旧金山集会，讨论 AI 超越人类后的角色定位及数学研究未来走向。

据 Woofun AI 消息，8 月 19 日，约 40 名全球顶尖数学家在旧金山 OpenAI 办公室举行会议，探讨人工智能在数学研究领域超越人类后，数学家未来的角色定位。多伦多大学教授 Daniel Litt 提出，未来可能出现高质量数学研究消失及人类专业能力丧失的情况，呼吁数学界尽快适应变化。

OpenAI 数学家、菲尔兹奖得主 Jacob Tsimerman 表示，AI 很快可能在数学研究领域达到稳定超越人类的水平，并宣布加入 OpenAI 参与 AI 安全工作。近期 OpenAI 公布了 10 项由 AI 生成或辅助完成的数学与计算机科学成果，涵盖多个需多年训练才能掌握的领域。今年 5 月，OpenAI 一款未发布模型提出了反驳"单位距离猜想"的例子，被部分数学家认为达到可发表水平。Anthropic 研究人员也利用 Claude 辅助完成高维数学问题研究。

数学界对 AI 取代人类研究者存在分歧。哈佛大学数学家 Melanie Matchett Wood 指出，目前顶级 AI 模型仍难以准确解释证明中的关键难点。西北大学数学教授 Bryna Kra 表示，数学不仅是得到答案，更重要的是理解结果，未被理解的证明不会真正成为数学文献的一部分。OpenAI 研究科学家 Sébastien Bubeck 则认为，AI 可能成为数学家的工具，未来数学可能类似软件工程或物理学，通过 AI 帮助大量研究者协作解决复杂问题或推动更大规模的科学探索。