Scientists Prove God's Existence?

As early as 1941 Kurt Gödel developed his ontological proof for God's existence.  Gödel himself was not religious.

Gödel based his math on Anselm of Canterbury ontological argument: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist."

Curious to test the math on a supercomputer, Christoph Benzmüller of Berlin's Free University and Bruno Woltzenlogel Paleo of the Technical University in Vienna, ran the numbers and proved the theorem.

Benzmüller adds, “I didn’t know it would create such a huge public interest but [Gödel’s ontological proof]…It’s a very small, crisp thing, because we are just dealing with six axioms in a little theorem."