MathOverflow

But despite these massive victories, we still do not possess a universal proof that guarantees it works for all finite groups.

I wanna play the role of the pragmatist here, channeling a question we found in a MathOverflow thread discussing this exact topic.

A user essentially asked, "Why should we dedicate so many resources to this? What is the inverse Galois problem actually good for? If I'm a working number theorist, does it really matter if there is one obscure, highly theoretical group out there that doesn't perfectly correspond to a rational polynomial?"

It's a highly valid critique, and the responses in that community discussion are illuminating.