“The IRS plans to use AI to compensate for funding and staff cuts in its efforts to identify tax evaders.”