Maybe LLMs do not need intuition because they can scale their “cognitive capacity” with hardware and brute force their way through these problem spaces.
My view is that is certainly true of smaller LLMs but becomes less true as they scale up.
To quote the parent bananaflag in a sub-comment:
> I believe the LLM weights have some internal representation of math in the same way brains do that allow them to produce proofs
I think as the sort of spare space adjacent to pure language processing in LLMs grows the probability of the sort of reasoning bananaflag is getting at (or spatial reasoning, or anything else) emerging in that space grows enormously.
One of the questions for AI development over the coming months or years is going to be if deliberately cultivating the architecture of those sub models for specific reasoning types beats any emergent reasoning mechanisms or not.
But to me that is analogous to what human brains do, and a bit different from intuition. I think of intuition as “heuristics”, typically developed through experience, that may link seemingly unrelated concepts via vague, hard-to-define associations, but which let us make mental leaps (or shortcuts) while reasoning. (Maybe analogous to System 1 / 2 thinking.)
On the other hand, LLMs can do both: build “intuition” from patterns in data AND brute force a huge amount of potentially unrelated concepts. This gets fuzzier when we realize that even these “concepts” themselves are gleaned from patterns in data! But my point is we necessarily have to take shortcuts to scale, whereas machines can scale with hardware.
This is of course a layman theory! But it could explain why these models are progressing so fast.
With the alternate view of intuition that many of you are describing it is clear LLMs are somewhat either there or heading there now.
One thing that struck me from Dario's last podcast with Dwarkesh was that he said training LLMs on a diverse set of tasks does not make them better just at those tasks, but they get better at unrelated and other tasks overall. What you described could be a concrete example of how that dynamic works!