I get a feeling that this applies to a lot of sciences. I feel like in the field of computational complexity theory, people seem to find new ways of proving th

I get a feeling that this applies to a lot of sciences. I feel like in the field of computational complexity theory, people seem to find new ways of proving that a problem is NP-complete even though it's already been proved before. Isn't this just about general curiosity, people just want to understand and explore a certain problem from different perspectives?