RaulS3Sb, no, yo me tengo que comprar el cable minidisplayport->hdmi para aprovechar a tope la salida del ordenador Intel NUC.

Sobre lo otro, pues supongo que tengas que, aparte de actualizar la tele cuando llegue el firmware por internete o bajándotelo de la página oficial cuando lo pongan (si no quieres probar el que existe ahora), usar los hdmi3/4 que son los de HDR. Lo que si veo normal es que te siga poniendo lo de 1920 porque la PS4, no la pro, ojo, no va a sacar mágicamente 4k, su salida siempre va a ser esa. El reescalado en este caso lo hace la TV.