2026年07月28日数学的“工业时代”:当AI让证明不再稀缺2026年7月24日,菲尔兹奖得主陶哲轩在美国费城举行的国际数学家大会(ICM)上,发表了一场题为《人工智能时阅读全文 ↗:数学的“工业时代”:当AI让证明不再稀缺