Five things [Dave Karpf believes] about actually-existing AI today