陶哲轩：AI 正在终结数学的浪漫时代

陶哲轩在采访中谈AI批量产出证明后数学界理解与人才培养的困境，适合做热点评论，抓他批评集中发布缺乏沟通、年轻人项目失去发表空间的观点。