What we know, and what we don't, about artificial intelligence and computation, from the algorithms underneath to the philosophical questions on top.