Over the last decade, the task of liquidity provision in many markets has shifted from traditional market makers to autonomous, computerized trading systems. These automated systems collect, process, and react to market-wide information more comprehensively than the humans they have replaced. Here, we update the model of Glosten and Milgrom (1985) to analyze how the automation of liquidity provision affects market quality, the transaction costs of market participants, and volatility. To Glosten and Milgrom's original model, we add multiple securities and introduce an automated market maker who prices order flow for all securities contemporaneously. We find that the automated market maker transacts the majority of orders, sets prices that are more efficient, increases informed and decreases uninformed traders' transaction costs, and has no effect on volatility. The model's predictions match very well with recent empirical findings and are difficult to replicate with alternative models.