Notes on Potential Future AI Tax Policy — LessWrong