Yep, it’s this. By definition everything we can ask a computer is already formalized because the question is encoded in 1s and 0s. These models can handle more bits than ever before, but it’s still essentially a hardware triumph, not software. Even advances in open systems like self driving and NLP are really just because the “resolution” is much better in these fields now because so many more parameters are available.