It has nothing to do with LLMs. One cannot trust the proof of anything if one cannot trust the verifier.