If we’re going to map the world, we’re not going to do it with ever-greater volumes of elbow grease. There’s just too much work to do. AI and computer vision are helpful assistants in this task, however, as a collaboration between Facebook and OpenStreetMaps has shown, laying down hundreds of thousands of miles of previously…