En la actualidad se realizó otra demostración, también haciendo uso de cálculos por ordenador, lo cual verifica la prueba original; pero sigue sin existir una demostración matemática.