I haven't seen grok3 on any benchmark leaderboard other than lm arena. Has anyone else?