美国政府聘请四位数学家解决计算机科学史上最棘手问题的故事。