Sin embargo, hasta la fecha (2019) no existe ninguna demostración formal de que efectivamente sea un número normal.