AIs and taxes