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