What has group theory really done besides give negative proofs, like that there’s no general algebraic solution for quartic polynomials and higher?

Any math that only tells you what isn’t possible is sad math.

^^^/s