蚂蚁金服是蚂蚁（）集团公司的简称。