En el caso de la conjetura de Collatz está claro que tan lejos está eso de ser una demostración genuina.