OK, thanks, this answer explains it: Optix7 denoiser: different results with different version of drivers - #2 by droettger
It’s sad that the LDR network is no longer shipped, and seemingly OptiX 5.1 doesn’t work on 30XX cards anymore, meaning it’s impossible to get the same results I was previously getting on that hardware.