[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.

[wolfkill]

Fair point!