“The IRS plans to use AI to compensate for reduced funding and staff cuts in its enforcement efforts.”