CONCEPT
Intuition Without Proof
The production of a correct belief about a determinate truth by means other than explicit derivation—Ramanujan’s defining faculty, the structural analog of machine pattern-completion, and the reason the answer, however impressive the source, always needs a proof.
There is a gap between knowing something is true and knowing why it is true, and in mathematics this gap has a name: it is the gap Srinivasa
Ramanujan lived in every day. He would assert an identity, a value for a series, a property of a function—with complete conviction and often complete correctness—and when asked how he knew, he would offer something other than a proof. The results came to him, he said, as thoughts of
God, through dreams and the goddess Namagiri. What actually produced them was an extraordinary command of the concrete behavior of numbers, built through years of solitary calculation, that allowed him to sense how things would behave before he could derive it—pattern-completion grounded in vast, implicit familiarity rather than in explicit reasoning from axioms. This is structurally analogous to what a
large language model does when it proposes a mathematical relationship: pattern-completion over an enormous but finite body of experience, producing