Mathematicians have used a sophisticated formula known as the 'doomsday argument' to predict when humans will go extinct.