RecodeX 重构消息，数学家陶哲轩演讲指出，数学正迈向“工业时代”，强调与人工智能的协作。