陶哲轩在 Caltech 演讲「Math 2.0」：AI 工具应支撑数学共同体

我正在把我昨晚在加州理工学院做的公开讲座“Math 2.0”的幻灯片上传。（这个讲座是一年多前就计划好的，最初题为“Machine Assisted Proof”，原定于五月举行。后来推迟到十月，随着近期事件的发生，讲座内容有了很大变化，但加州理工学院网页上仍保留着旧标题和摘要。）

在这次讲座中，我阐述了数学历史上的“Math 1.0”状态、当前因过度强调用 AI 自动解决未解问题而形成的状态，以及我对未来“Math 2.0”的愿景——在这个未来中，AI 工具既用于维系数学界内部共同体，也用于维护数学理解在推动和校准数学在现实世界中的应用方面所发挥的作用。

这次讲座的内容也已纳入我（由 AI 维护的）关于 AI 观点的动态总结。