If these proofs were output by the AI in a format readable by a proof verification system, the verification step of publishing vanishes. Then it's only valuable to check if the stated intention actually matches the proof and isn't something completely different.