That's how computers work so it can't be any other way if you're generating proofs with AI.