陶哲轩阐述 Math 2.0 愿景：AI 正推动数学从“证明稀缺”走向“证明富足”

陶哲轩在加州理工学院的《Math 2.0》演讲中提出，AI 正推动数学研究从“证明稀缺”转向“证明富足”，许多过去被认为困难的开放数学问题可能更快获得解答。数学证明客观可验证、易于数字化且拥有大量高质量数据，使数学问题求解特别适合机器学习；但 AI 能力呈锯齿状，数学前沿的大多数问题仍未解决。