AI参与数学研究会取代人类数学家的工作吗？

　　最近，AI模型Claude在向黎曼猜想发起冲击时，虽未能证明这一世纪难题，却一举将临界线上零点比例的下界从41.6%推高到67.2%，引发“人类数学家是否会被取代”的激烈讨论——但最新结论是：AI不会取代数学家，而是正在成为改写研究范式的超级助手。

　　一、AI在黎曼猜想上的里程碑式突破

　　事件经过：2026年8月，Anthropic员工Jarred Sumner用内部研究版Claude，在几乎没有干预的情况下挑战黎曼猜想。Claude先尝试650个思路全部失败，随后自主调度约60个子智能体，跑了约一天半，消耗3100万token，最终将黎曼ζ函数位于临界线上的零点比例下界从人类维持37年的41.6%提升至67.2%。

　　关键方法：Claude并非暴力计算，而是组合了数学家Baluyot、Goldston等人近年来的零点配对工作与Bombieri的观察，将问题转化为Hermitian矩阵的秩—迹不等式，从而推导出新的下界。

　　有限意义：这一突破并未证明黎曼猜想本身——即使把比例推到100%，仍可能因存在有限个离线零点而失效。Anthropic明确表示，Claude所用技术不太可能最终证明黎曼猜想。

　　

　　二、AI的优势与当前局限

　　核心优势：AI可以极低成本大量试错，650个失败思路对人类数学家而言几乎不可能在一天半内完成；AI还能跨领域组合知识——Claude同时检索54篇论文，将数论、线性代数和形式化验证结合，找到人类因认知惯性忽略的路径。

　　当前局限：AI缺乏内在驱动的持续性和自我修正能力，仍需人类提供“信念锚点”（如Sumner的“继续，相信自己”）；它不创造新公理，只能基于已有定理的组合探索；其推理过程有时难以用人类直觉理解，出现“机器证明正确、人类看不懂”的现象。

　　本质区别：AI擅长“搜索-验证”闭环，而数学的真正创新在于提出新问题、建立新概念、搭建理论体系——这是目前AI无法完成的。

　　三、人类数学家的不可替代性

　　定义问题与创造概念：数学家最主要的工作是提出原创性猜想、创造新概念，AI目前只擅长在已有框架内寻找证明路径。菲尔兹奖得主邓煜指出，对于开放问题，AI还无法解决，数学家会将AI结果作为新起点继续探求。

　　直觉与审美：黎曼本人“看出”函数对称性的哲学直觉，是AI难以模拟的。数学家对证明“优美性”和“本质理解”的追求，也是AI缺失的维度。

　　范式转移而非取代：多位专家预测，未来将是“数学家+AI”协同的模式——AI充当不知疲倦的探路者和验证员，人类负责设定方向、判断价值、最终负责。新晋菲尔兹奖得主齐默曼甚至选择加入OpenAI研究如何“控制”AI，侧面印证了人机协作已是共识。