In the original GloVe paper, the authors discuss group theory when coming up with the equation (4). Is it possible that the authors came up with this model, figured out it was good, and then later found out various group theory justifications that justified it? Or was it discovered sequentially as it is described in the paper?
More generally: In AI research, are most things discovered because they work empirically and later justified mathematically, or is it the other way around?