Elon Musk
@elonmusk
That’s just Grok 4
Greg Kamradt@GregKamradt· Sep 16, 2025We just released 2 open source SOTA submission to ARC-AGI (both v1 and v2)
Submissions by @jeremyberman 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
01:15 PM · September 17, 2025 · 7.6M views
1.7K
1.4K
13.5K