跟帖数学家谈如何拥抱AI：把AI作为工具，而不是思考的替代品