Using a quantitative model that features technical progress in automation and endogenous skill choice, we show that …, given the current U.S. tax system, a sustained fall in automation costs can lead to a massive rise in income inequality. We …, optimal robot taxes are zero …