Tech executives’ reported silence over Trump’s stated plan to ban the term ‘artificial intelligence’ · Digg