Four mathematicians are hired by the US government to solve the most powerful problem in computer science history.