Grok 4 beats GPT-5 on ARC-AGI
130