Most likely not.

I was just reading through some articles posted over on Phoronix and a couple of benchmarks jumped out at me:

https://www.phoronix.com/scan.php?page=article&item=intel-xeon-8380-linux&num=6

In the article Michael tests some very high end systems, including a dual processor Intel Xeon Platinum 8380 setup; each Xeon is Ice Lake based, has 40 cores (80 threads), AVX-512, the system has 512gb of ram and each cpu costs $8100.

This is about as fast as it gets for x265 encoding, as the benchmarks show, this system, which costs well over 20 grand, can only encode x265 4k at just under 28fps. Unfortunately we don't know what preset was used, but Michael is known for usually testing with the default settings unless stated otherwise, so probably preset medium.

More importantly are the SVT-AV1 benchmarks, were the fastest system, a dual cpu EPYC 75F3 (32C/64T each) was only able to encode 1080P SVT-AV1, with the fastest setting, at under 108 fps.

For 4k SVT-AV1, using the fastest preset, the dual Platinum 8380 system was just under 30 fps:

https://www.phoronix.com/scan.php?page=article&item=ubuntu-xeon-icelake&num=3

For reference, here is a test of 1080P SVT-AV1 using a Core i9 10980XE, 18C/36T, with 32gb ram:

https://www.phoronix.com/scan.php?page=article&item=ubuntu-2104-clear&num=3

The take away is if you are eyeing encoding with AV1, even with a "fast" encoder like SVT-AV1, do yourself a favor and don't, computers are not fast enough currently, no matter how much you spend, to make software based 4k AV1 encoding practical.