But then the acronym is still “AI.” Now, whether Trump realized that in advance, is unknown.