Grok 4.7 reportedly jumps from No. 10 to No. 3 on an AI leaderboard · Digg