Basically, yes, people are coming up with and executing "programs" in their head. But it doesn't look like the kind of program synthesis we've been doing in AI so far, at all. To start with, to solve an ARC task, a human only comes up with a very small number of candidate
Human Program Synthesis for ARC Tasks Differs from AI Approaches
By
–