In 1966, the Austrian-Canadian mathematician Leo Moser formalized a problem plaguing humanity ever since an exhausted ...