Der KI-Experte Prof. Dr. Christoph Benzmüller sprach aktuell im Interview mit dem  Magazin "Leben im Erzbistum Bamberg"  über sein Computerprogramm, das im Jahr 2013 den ontologischen Gottesbeweis des Logikers Kurt Gödel nachvollzog. Den…