陶哲轩在菲尔兹奖现场演讲：数学面临百年基础危机

陶哲轩在ICM大会演讲《Mathematics in the age of AI》中提出，数学正从「证明稀缺」进入「证明过剩」时代，并把AI带来的冲击拆成生成、验证、表述、发表、正典化五段流水线，认为每一环都会出现「证明消化不良」。