I’ve listened to a lot of remixes, and they somehow “magically” extracted the lyrics and put it on top of their own remix. Do people know how?
I assume you mean the vocals… The singing… “Lyrics” usually means the written words.
You can try Vocal Reduction and Isolaton. It’s rarely “perfect” and you usually don’t get professional results but sometimes it works OK (depending on the recording) and it might be fun to play with.
There is something called Spleeter that’s supposed to be more intelligent. I think it’s open source and there seem to be variations so you might want to search-around a bit.
And I assume that “soon” AI will be very good at it, and maybe AI can do it already.