澳大利亚裔美国数学家,加州大学洛杉矶分校数学系教授,2006 年菲尔兹奖、2014 年数学突破奖得主。少年成名,24 岁成为 UCLA 史上最年轻正教授。研究横跨调和分析、偏微分方程、组合数学与解析数论,与本·格林合作证明素数中存在任意长等差数列(格林–陶定理),并在压缩感知理论上作出奠基性贡献。著有《解题的艺术》《陶哲轩实分析》。近年推动众包协作数学与 Lean 形式化证明,关注 AI 辅助数学研究。
他说数学的实验一侧正被规模化:一次试一千道题;形式化验证让上百人协作无需互信,但补窟窿那步仍归人。
学会是能在前严格、严格、后严格三层间自由切换;数学犯错成本低,弯路才是训练本身,论文却把它隐去。

微信公众号