Errors can never be completely ruled out in case of verification of a proof by humans either, especially if the proof contains natural language and requires deep mathematical insight.
Pero os erros nunca poden ser desbotados completamente en caso de verificación dunha demostración por humanos, especialmente se a demostración contén linguaxe natural e require unha visión matemática profunda.