Israel’s main Holocaust museum says it has now identified 5 million of the 6 million Jews murdered by the Nazis. For the rest, the difference between being documented by name or lost to history may come down to artificial intelligence rather than traditional research.