Arvind Narayanan: “AI is helpful despite being error-prone if it is faster to verify the output than it is to do the work yourself.”