陶哲轩演讲《Math 2.0》：证明稀缺时代正在终结

陶哲轩在加州理工学院公开最新演讲《Math 2.0》，提出 AI 正让数学从证明稀缺走向证明富足，盲目只优化 AI 解题已在损害数学的长期健康发展。他主张 Math 2.0 应把 AI 加入人类理解与数学研究的各个环节，并给出开放阐释问题、Caltech Mathathon、IEANTN 知识网络、Lean 的 Mathlib 形式化库、定理消融研究等十条具体方向，认为最大瓶颈不是技术而是想象力。