A 100-year study of artificial intelligence? Microsoft Research’s Eric Horvitz explains