Algunos matemáticos están preocupados de que la posibilidad de un error en un programa de computador o un error de ejecución en sus cálculos pueda afectar la validez de tales demostraciones asistidas por computador.