With the rise of automation in journalism, we have seen that automated tools can be used to write texts from structured information. But what about fact checking itself? We've seen a few high-profile projects that have shown the value in verification and tools, but what are the theoretical limits for automating the verification process? Where are we now?