Well, a human is limited in how much they can formalize, as per the article. So if you're really careful, you can check over what they wrote.

The computer could generate a huge document, how would you check that it's right?