La mayoría de los asistentes de prueba (¿todos?) Tienen errores de solidez corregidos ocasionalmente. Sin embargo, de los que he visto, estos errores suelen ser difíciles de encontrar involuntariamente, y los resultados probados antes de que el error se solucione generalmente se mantienen después de la corrección.
Tres preguntas, en orden de fortaleza:
- ¿Alguna corrección de errores de sonido ha causado alguna falla importante en una prueba, sin modificar la prueba?
- Si (1) es verdadero, ¿alguna vez se requirieron modificaciones importantes para arreglar la prueba?
- Si (2) es cierto, ¿alguien ha demostrado un teorema mayor incorrecto debido a un error de solidez?
Dejaré la definición de "mayor" a otros.