Why has the term grokking been formalized like this? Honest question. Why can't we stick with normal words like "learning" or "understanding"? It just seems like a slow creep of needless semantic complexity in an already esoteric and niche space.
I'm not sure it's particularly well targeted here, but they are going for something deeper than "learning" which already has a standard usage in the field.
Good intro here: https://en.m.wikipedia.org/wiki/Grok
They need a word for each interesting effect. Sometimes they make up new words, sometime they reuse a rarely used word