陶哲轩（Terence Tao）题为 "Math 2.0" 的演讲幻灯片已经公开，文件名为 math-2-0-caltech-2026.pdf，托管在其个人网站 teorth.github.io 的 slides 目录下，可直接访问。从文件名判断，这是一份用于加州理工学院（Caltech）讲座的材料。
"Math 2.0" 这一提法，通常被用来指代数学研究方式正在发生的转变：计算工具、形式化证明系统与大规模在线协作，逐渐从边缘的辅助手段变成研究流程本身的组成部分。把这一提法整理成一份成体系的演讲材料并公开，客观上为相关讨论提供了可引用的框架，也让更多非数学专业的人看到问题可以被如何拆解。
对 AI 从业者而言，这类材料值得关注的原因在于：数学长期被视为检验模型推理能力的试金石，而数学家是否、以及如何把 AI 工具嵌入猜想提出、证明验证与文献检索等环节，会反过来影响AI 词典：模型评测基准">模型评测基准与产品形态的设计。幻灯片公开本身，也意味着相关讨论的受众正从少数专家扩展到更广的工程与研究群体。
需要说明的是，目前公开的只是演示文稿，配套讲稿、视频或正式论文尚未一并给出，其中具体主张与案例仍应以原文为准。