RecodeX 重构消息,数学家陶哲轩发表视频演讲,探讨人工智能时代数学的发展与变革。