Tech executives reportedly stayed silent as Trump said he'd ban the term 'artificial intelligence' · Digg