Grok 4 vence GPT-5 no ARC-AGI
118