A noviembre de 2016 solo faltan por demostrar cinco de estos números, y Seventeen or Bust, un proyecto de computación distribuida, está realizando esta tarea.