邓煜、陶哲轩对谈“AI与数学”：看不到AI思维链太荒唐，AI公司应邀数学家事前参与而非事后收拾残局

面对AI与数学之争，新晋菲尔兹奖得主、芝加哥大学数学教授邓煜，SAIR Foundation主席、菲尔兹奖得主陶哲轩最近在SAIR播客上探讨AI时代数学的未来。