Logic and generative AI

Yuri Gurevich (University of Michigan)

Are the current large language models intelligent?

Are they becoming super intelligent?

What is the role, if any, of logic in the current AI?

What should be the role of logic in AI?

We discuss these and related questions. The talk is based on a joint paper with Andreas Blass.

BIO: Yuri Gurevich is Professor Emeritus at the University of Michigan. The last 20 years of his career he spent at Microsoft Research as a Principal Researcher. He is a Fellow of AAIA, AAAS, ACM, EATCS, and Guggenheim, a foreign member of Academia Europaea, and Dr. Honoris Causa of a Belgian and a Russian universities.