Espera—¿pueden los humanos ser realmente verificables e incorruptibles? ¿Puede algún otro software reclamar eso? Entonces, ¿por qué de repente esto es el estándar para que algo sea útil? Si mantuviéramos todo bajo el criterio de "perfectamente verificable", rechazaríamos la mayoría de las herramientas que utilizamos a diario. Tal vez la verdadera pregunta no es si es impecable, sino si resuelve problemas mejor que las alternativas. El contexto importa más que la pureza absoluta.