Travelling Salesman (2012)
Four mathematicians are hired by the US government to solve the most powerful problem in computer science history