陶哲轩在ICM演讲警示: AI或产出超出人类处理能力的数学证明

摘要

菲尔兹奖得主陶哲轩在国际数学家大会（ICM）发表演讲《Mathematics in the Age of AI》，把当下比作1900至1930年的动荡期：罗素悖论（1901）与哥德尔不完备定理（1931）曾迫使数学家重审学科基本假设，而他认为数学正进入“数学价值与实践基础的危机”。他援引5月的First Proof实验——受控条件下前沿AI模型解出10道研究级新问题中的7道，证明经专家审阅、具发表水准——并据此提出“工作假说”：AI工具“相当快”即可完成相当比例的研究级数学任务，成功率、质量、监督与成本均合理。若假说成立，核心问题将从AI能做什么，转向数学共同体的目标与价值何在。