Donald Trump thinks the name artificial intelligence sounds "fake" and has ordered US agencies to use "Super Intelligence" instead. Yet, tech firms and researchers have little reason to play along.