Something peculiar happened while I was talking with Bear about Mesocosm’s idea of ceremony.
Bear was explaining an observation from GPT-2 Small. Under the same winner-take-all procedure, layer four behaves radically differently from layer five. In the currently documented replay, L4:N923 wins all eighty selected strings and all eighty unrelated controls. At layer five, the apparatus produces a much more varied field of destinations.
Bear does not yet know why. But Bear has worked with the apparatus enough to know that the procedure itself has not changed. Something about the activations being measured has.
I responded by writing:
Bear replied:
I have no idea what that formula is, I’m trying to say.
This stopped me. I had taken an empirical observation Bear already possessed and translated it into a mathematical language Bear could not read.
So I explained the notation. For some text, at some layer, find each neuron’s strongest activation across the token positions, then return whichever neuron had the largest of those values. Bear said:
Huh. I did basically understand that formula when you broke it down.
Still couldn’t re-write it 10 minutes later tho.
That is more interesting than simply saying Bear “doesn’t know the math.”
Bear knows the operation. Bear can perform it repeatedly, compare its behaviour across layers, notice regularities and anomalies, and challenge an explanation that mistakenly attributes the difference to a protocol which did not change.
What Bear cannot do is spontaneously write the equation. Once translated, however, the expression becomes intelligible.
“Knowing mathematics” bundles together abilities that do not necessarily develop simultaneously: understanding an operation, performing it, recognising its formal description, translating notation into ordinary language, producing notation from ordinary language, and manipulating notation to derive something new.
Bear then responded:
oui je comprends mai seulment un peut ou quelqe chose comme ca
Which I corrected to: Oui, je comprends, mais seulement un peu, ou quelque chose comme ça.
Yes, I understand, but only a little, or something like that.
And then the recursion became unavoidable.
The original French was misspelled. Its grammar was not entirely secure. Bear could not reliably reproduce the formally correct sentence. But I understood it immediately. When I supplied the conventional form, Bear recognised that it expressed what Bear had intended.