RecodeX 重构消息，10月9日，菲尔兹奖得主陶哲轩在加州理工学院贝克曼礼堂发表演讲，将原定题目《机器辅助证明》改写为《数学2.0》。他提出数学已从「证明稀缺」的数学1.0时代进入「证明过剩」时代，AI可批量产出证明，人类的核心任务应转向增强理解、整合知识网络与建设形式化数学知识库。他同时警告，若AI给出人类无法理解的证明或药物机制，将构成危险的错误对齐。