President Trump on Tuesday doubled down on his push for artificial intelligence—or super intelligence, as he now calls it—by ...