《上海市“数字上海”建设“十五五”规划》：优化迭代新一代超异构融合芯片 满足高并发计算需求

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

BlockBeats 消息，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 共同创造，还是逐渐走向机器主导。