The funds would come from a "modest" AI tax.