Demostró que la conjetura tiene un contraejemplo, el que estimó alrededor de 1.845 × 10.