“Two scientists have formalized a theorem regarding the existence of God penned by renowned Austrian mathematician Kurt Gödel. Using an ordinary MacBook computer, they have shown that Gödel’s proof was correct — at least on a mathematical level.” You can read more in this article.
It is interesting that one of them, Prof. Christoph Benzmüller, is the chair of the Luxembourg Logic for AI Summit that will include DecisionCAMP 2018.