Steve sat down with logician and mathematician Roger Antonsen and computer science pioneer Barbara J. Grosz to talk about how AI will challenge our own perception of intelligence in ways we might not expect.