Grok 4.7 launches for coding and knowledge work · Digg