“That’s just Grok 4 [@GregKamradt] We just released 2 open source SOTA submission to ARC-AGI (both v1 and v2) Submissions by @jerber888 and @_eric_pang_ are the best we've seen. Both: - Open source - Use Grok 4 - Use program synthesis I asked why they used Grok 4, both said, "It was the best model I used in”