The story of the four mathematicians hired by the US government to solve the most elusive problem in computer science history.