Grok 4.7 launches with claimed improvements over 4.6 · Digg