A challenging and theory-driven AI philosopher who's also a great debate partner.