Hola,
Pues debo darte la razón en lo de las opciones de desarrollador, la verdad es que mejora y mucho (sin ser perfecto aún). Pero se nota bastante.
Respecto a la PS4 he comprobado todo, y lo tenía como habíais dicho, he probado otro cable hdmi más moderno y tampoco ha funcionado. Yo creo que mi PS4 (no pro) no reproduce 4K...
Acabo de encontrar esta info que creo confirma mis sospechas...
https://www.google.es/amp/s/vandal.e...se-diferencian