Terence Tao

推荐理由：数学家陶哲轩说AI可能引发数学领域危机，和1900年那次一样严重。他建议，如果一个证明没人能解释，那它就是不完整的。

推荐理由：陶哲轩对AI做数学的真实看法，讲得很清楚：AI能算题，但建理论还不行。