陶哲轩在菲尔兹奖颁奖典礼上：数学面临百年危机

在2026年国际数学家大会（ICM）上，继2026年菲尔兹奖得主王宏和邓瑜的宣布之后，2006年同奖得主陶哲轩发表了题为“人工智能时代的数学”的演讲。陶哲轩并未讨论人工智能能否处理数学问题，而是提出一个工作假设：假设人工智能很快就能以合理的成本解决相当一部分研究问题。他引用独立基准测试First Proof——在该测试中，人工智能系统以可发表水平解决了10个问题中的7个——强调这将使讨论转向价值领域。陶哲轩援引了古德哈特定律：当一个指标成为目标时，它就不再是一个好指标。他指出，数学研究目标（问题解决、验证、清晰阐述、学界接受、经典化）的演变将导致“证明消化不良”——从证明稀缺时代转向证明充裕时代。陶哲轩呼吁降低“首次解决”的权重，提升“消化”阶段（阐述、发表、经典化）的重要性。他支持《莱顿人工智能与数学宣言》，该宣言要求披露人工智能的使用情况，并由作者对正确性承担全部责任。陶哲轩的严格规则是：如果作者无法清晰且专业地口头陈述其工作，则该工作不应发表。陶哲轩本人承认使用人工智能准备幻灯片，并呼吁在学界内展开公开对话。