estou a perder alguma coisa com o grok-code-fast? ou é esta uma clássica Lei de Goodhart do leaderboard