陶哲轩提出「数学2.0」：AI时代如何重建人类数学理解

陶哲轩在加州理工演讲中将新题目定为《数学2.0》，指出AI正把数学从「证明稀缺」推入「证明过剩」时代。他以「抗癌药」思想实验警告，人类无法理解的黑盒证明属于危险的错误对齐，主张未来数学家应与AI合作解决开放性解释问题、构建形式化知识网络，用AI反哺人类理解。