xAI Releases Grok 4.7 with Improved Coding and Self-Verification · Digg