But generally speaking it is easier to verify a proof is accurate that it is to find the proof. So not sure this holds.

I suppose their is some complexity limit where something is so complex we can’t even validate it. But frankly would love to reach that point. I’d view that as a good thing