2026年7月24日，菲尔兹奖得主陶哲轩在美国费城举行的国际数学家大会上发表题为《人工智能时代的数学》的公开演讲。他提出，AI技术的快速演进正推动数学研究迈入工业时代。随着生成式模型在First Proof等基准测试中展现出解决研究级命题的能力，数学知识的生产成本将大幅降低，学界或将从证明稀缺步入证明过剩阶段。 陶哲轩指出，单纯优化解题数量将陷入古德哈特定律陷阱，机器生成的证明即便通过形式化验证，若缺乏人类阐释与共同体消化，亦难以转化为有效知识。面对AI带来的流程重构，数学研究的重心必须由追求定理数量转向验证、解释、同行评审与知识整合。他警告，缺乏配套消化机制的证明工厂将引发学术系统的消化不良。 为此，陶哲轩呼吁数学共同体重塑评价标准，降低对首发解出问题的权重，转而认可阐释与体系建设工作；同时要求公开AI辅助情况，并完善期刊审稿规范。当前已有顶尖学者转向AI安全与多智能体理论研究，折射出数学家角色正从单一证明生产向方向设计与人机协作规则制定演进。未来，如何建立支持质量控制与知识传承的新生态，将成为数学界应对AI浪潮的核心课题。