Ich glaube nicht, dass jemand, der "ein Videoprojekt in 4K erstellt und bearbeitet" hat, jetzt nicht in der Lage ist, das Video in 4K zu exportieren.
Das aktuelle Programm MAGIX Video deluxe bringt dazu alles mit, was nötig ist.
Eventuell sollte man einen Blick in das Handbuch des Fernsehers werfen, um herauszufinden, welche Medien er wiedergeben kann. Davon hängt letztlich der Export ab.