alt Hacker NewsAppreciate the clarification, even if I disagree!
I think we differ on what "mathematical intuition" is then. I've seen people that do well in undergrad math degrees simply by massively memorising things and learning how to join them up to some level of degrees-of-separation, but seemingly completely fail to understand, for ezample, why even calculus is how it is. Because they are able to regurgitate the results and "produce proofs" this is never questioned.
The Euclid example also shows my bias towards spatial intuition of mathematical concepts (which is deeply unfashionable) but also exposes exactly where at least current LLMs break down; they do the symbol based pattern matching version, but they cannot leap outside of that, at least today.
Replies
> I've seen people that do well in undergrad math degrees simply by massively memorising things and learning how to join them up to some level of degrees-of-separation, but seemingly completely fail to understand, for ezample, why even calculus is how it is. Because they are able to regurgitate the results and "produce proofs" this is never questioned.
If you want to catch them, surely you can find proofs they aren't able to produce.
This feels very related to the issues re: the presence or absence of world models in LLMs. Insofar as they have world models (or "intuitions"), these would seem to have to be primarily verbal-linguistic (or symbolic, when using math). LLM world models are not likely (currently) very spatial, in contrast to e.g. V-JEPA-2 models, which likely do have some basic spatial models (and perhaps "intuitions").