Type-C -> min DisplayPortケーブルだね、4K 10bit color 60Hzで出力できてる
HDMIはバージョンがモニターによってまちまちだからよく調べたほうがいいよ
おれのモニタちょっと古いからHDMIだと4K 30Hzでしか出力できない