> If you mean AV1 specifically, do you think software encoders won't get anywhere near x264, which can do it in less than one core?

From what I understand, AV1’s encoding complexity is more like H.265 than H.264. It’d be more appropriate to look at the performance of x265 to see what might be possible.