人类数学家如何应对AI带来的挑战？

　　菲尔兹奖得主陶哲轩在2026年国际数学家大会（ICM）上公开警告：数学正面临一场百年价值观危机，AI以极低成本批量产出证明，正将数学从“证明稀缺”推向“证明过剩”时代，人类数学家的核心价值必须从“解题者”转向“评判者”与“阐释者”。

　　一、百年危机的本质：从逻辑地基到价值观地基

　　危机定性：陶哲轩将此次危机与20世纪初的数学基础危机（罗素悖论、哥德尔不完备定理）类比，但认为上次检查的是逻辑地基，这次要检查的是数学共同体的价值观与工作方式。

　　触发事件：2026年5月，OpenAI模型推翻80年历史的Erdős单位距离猜想；随后First Proof独立评测中，4套AI系统以单题10-1000美元成本，在受控条件下解出10道研究级新题中的7道，达期刊发表水准。

　　核心矛盾：陶哲轩用“工作假设”策略定调——假设AI很快能以合理成本完成相当比例的研究级数学任务，数学界必须提前回答“数学研究到底图什么”。

　　二、证明消化不良：AI加速生成，人类消化失灵

　　五环链条：陶哲轩将数学成果的完整生命周期拆解为生成、验证、阐释、共同体接受、纳入教科书正典化五步，AI只加速了最前端的“生成”，后四步仍依赖人类且无法用算力加速。

　　证明过剩：几千年来数学的荣誉体系建立在“证明稀缺”之上，一旦证明成为批量商品，这套体系的地基就松了，数学正从“证明稀缺”进入“证明过剩”。

　　AI证明缺陷：AI生成的证明逻辑完整却“无气味”，没有人类作者在困难处留下的挣扎痕迹，无法告诉读者“哪里值得深挖”；它常在琐碎处啰嗦、关键处一笔带过。

　　三、人类数学家的应对：从证明者到评判者与阐释者

　　角色转型：陶哲轩指出，当AI能解题后，数学家的核心能力转向“提出值得AI去解决的问题”和“判断哪个证明重要”，从“解题者”变为“数学思想的策展人”。

　　硬性规则：他给出经验法则——如果作者不能令人信服地证明自己能就成果做一场清晰、专家级的报告，这个成果就不应发表；AI工具使用的正确性与引用责任完全归人类作者。

　　教育反思：陶哲轩担忧AI替代研究生解决“训练题”级问题，会切断下一代科学家的训练场；他主张数学教育从“比计算”转向教学生提出AI想不到的问题，并推动《莱顿宣言》以规范AI使用披露。