陶哲轩：AI 让证明多到读不完，数学进入 2.0 时代（完整文稿）2026年11月9日 · 阅读需 15 分钟SAIR 本文是视频《陶哲轩：AI 让证明多到读不完，数学进入 2.0 时代》（作者：Terence Tao（SAIR / Science x AI Summit））的完整文稿（全文整理版），与精读笔记配套阅读；▶ 中配视频。