Hopefully not in the same way you should never naively trust compilers!

The generation of the proof can be replicated. And if it can‘t we should be suspicious of their claims.