Home On Logic and AI (and Mathematics)
Post
Cancel

On Logic and AI (and Mathematics)

The ongoing AI revolution raises many questions.

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.

This post is licensed under CC BY 4.0 by the author.