The Washington Post introduced AI bots for readers last year. Here’s how it’s going.