陶哲轩｜Math 2.0（UCLA Science × AI Summit）

观看陶哲轩演讲（YouTube，31:46） (opens in a new tab)

活动时间　洛杉矶当地时间 2026-10-16 10:30–11:00。北京时间 2026-10-17 01:30 至 02:00。

当可验证的证明越来越多，数学家怎样从中获得新的理解？陶哲轩以大规模代数实验和 L 函数与模形式数据库（LMFDB）的多项式搜索为例，讨论如何选择问题、解释证明，以及用开放的工具支持合作研究。从 10:48 看实验数学案例 (opens in a new tab)。

SAIR 峰会议程 (opens in a new tab)