In 2013, Christoph Benzmüller checked and verified the proof of God by the mathematician Kurt Gödel.