Automated fact-checking can catch claims that slip past human checkers. Here are the two ways they work.