专访陶哲轩：大概只有0.1%的数学家可以用编程语言写证明

文章预览

       8月14日，“探路求真”美国实践支队来到菲尔兹奖得主、著名华裔数学家陶哲轩在UCLA的办公室，和陶教授进行了一小时的愉快交流。       陶哲轩以其合作精神闻名。其合作者众多。近年来，他积极关注并引领数学定理的形式化验证，并活跃于各大数学社群。支队成员提出关于陶教授个人学习与研究经历的问题，了解他对天赋与后天学习、竞赛与研究、时间管理等话题的见解，并很自然地聊到了数学定理形式化与数学研究电子化的话题。陶教授耐心回答了支队成员的许多提问，为数学学生及研究者绘制了未来蓝图。       在尽量保证符合陶教授原意的情况下，对采访记录进行了中文翻译、修辞和删减调整。如有不实之处，译者疏忽所致。 01 采访记录 （中文版） Records of Interviews （In Chinese) 问: 马逸轩：       陶教授您好。丘成桐先生为 ………………………………