The idea is, I believe, that the Pro model is a larger model (more parameters, or less quantization) in general. What implication that has, I couldn't tell you.

For tasks like pondering on something, reviewing code, etc. I use Pro, just because it feels like the right model for that.