AI参与数学研究会不会取代人类数学家？

　　Anthropic未发布版Claude在挑战黎曼猜想时虽未成功，却将零点比例下界从41.6%大幅提升至67.2%，37年人类仅推进0.8%而AI一天半提升25.6%的对比，让“AI会不会取代人类数学家”的讨论再度升温。

　　

　　一、AI的数学新高度：从41.6%到67.2%

　　核心突破：2026年8月，Anthropic研究版Claude在尝试证明黎曼猜想时，将黎曼ζ函数符合猜想的零点比例下界从41.6%一举推高至67.2%，而人类数学家在过去37年仅提升了0.8个百分点

　　工作方式：Claude先后尝试650个想法全部失败，随后协调约60个子智能体分工协作，执行2400条Shell命令、消耗3100万输出token，最终由2个核心子Agent找到关键数学思路

　　意义所在：这一突破并非暴力计算，而是组合已有数学工具形成新论证结构，验证了AI在符号推理领域的“路径发现”能力

　　二、人类数学家的不可替代价值

　　创新与直觉：真正的数学创新、宏大而深入的数学观察、难以变成token的直觉洞察，依然是人类的优势领域

　　提出问题：数学家的工作核心是提出新问题、创造新概念、搭建理论体系，而AI目前擅长的是在已知框架内探索最优路径

　　元认知驱动：诺奖得主格罗斯指出，解决黎曼猜想这类难题的核心驱动力仍是人类的聪明才智和创造力，AI只是强大的辅助工具

　　三、人机协作：数学研究的新范式

　　人类定向+AI执行：Claude的发起者Jarred Sumner并非数学家，仅通过“继续”“相信自己”等指令引导，AI自主完成了探索、验证与论文撰写

　　效率革命：AI将“失败成本”压到极低——一位数学家不可能在一天半内认真试错650个方向，而AI可以做到

　　未来图景：菲尔兹奖得主高尔斯认为，数学定理不再与特定数学家关联或许并非问题；陶哲轩预测2026年AI将成为数学研究中值得信赖的合著者