Is there any proof that they are not good at special reasoning? Arc agi 1 and 2 are saturated.
I will be posting something to that effect later this week. (Hopefully).
Basically current gen LLMs apparently do spatial reasoning the way they seemingly do everything else: by reference to previous example. I didn't see them work out which known example to use for a given problem until specifically prompted, in my case by accident.
ARC AGI 3 is much better designed and harder, perfectly completable by a human in a couple minutes.
Only a fraction of the games can be solved by Sol, generally at sub-human efficiency in terms of turns, AND at a cost of >$10,000 per game.
On a token level, text tokens are orders of magnitude more information dense than visual tokens.
You don't have to do much statistical analysis to figure out what is meant by the token string "cat under a tree". However you need to do an enormous amount to encode any permutation of pixels that show a cat under a tree from the set of all possible pixels arrangements that illustrate that (along with the massive fringes of ambiguity).