陶哲轩「数学 2.0」演讲：AI 让证明不再稀缺，盲目追求解题有害数学

据链新闻发布，陶哲轩 10 月 9 日在加州理工学院发表「数学 2.0」演讲，指出 AI 让数学进入「证明过剩」时代，以解题为核心的评价方式已经错位，继续盲目追求解题对数学有害；他也预告部分开源数学模型很快就会释出。 这篇文章陶哲轩「数学 2.0」演讲：AI 让证明不再稀缺，盲目追求解题有害数学最早出现于链新闻 ABMedia 。