Gary Sussman made an interesting presentation1 about artificial intelligence during the European Lisp Symposium. He started his presentation by prompting a GPT machine to define a nonexistent theorem and surprisingly produced a reply that would pass the Turing test…