US taxmen want an AI to do the security checks it seemingly can't do itself