Comment by pvg

I don't think Erdős seriously, let alone literally, attributed the proofs in question to god in the sense you seem to be interpreting it in.