The same argument would say that it&#x27;s impossible to write mathematics papers without proof assistants (Coq, etc).<p>Obviously that is bogus, mathematicians are not &#x27;deluded&#x27; about their ability to check their work themselves. It&#x27;s just a skill.