AI与自动化

数学家陶哲轩（Terence Tao）在最近的一次演讲中说：“多亏了AI，证明多得数不过来，但人类的理解却在减少。”因此他主张，要超越用AI“代替我们解题”的数学1.0，走向用AI“增进人的理解”的数学2.0。