I have been having the same problem.
Has there been any progress with this?
I am trying to use MPV to play 4k videos and they all playback choppy.
Is there a tried and true way to have RPI4 actually play 4k video?
What player to use, what codec is needed?