陶哲轩加州理工演讲：数学进入 Math 2.0，证明稀缺时代结束

陶哲轩在加州理工学院发表 Math 2.0 演讲，指出 AI 正在把数学从证明匮乏时代拽入证明充沛时代，仅优化解题会损害对数学的深层理解。他列举了正在落地的实践，包括用开源 AI 重构四色定理等经典证明、等式理论项目判定超过2200万个命题、逆伽罗瓦问题挑战赛找到对应24次所有25000个伽罗瓦群的多项式，并透露开源数学模型即将发布。