The Trump government probably thinks: Who needs mathematicans, if we already have the best AI in the world?