Two mathematicians have proved that a straightforward question — how hard is it to untie a knot? — has a complicated answer.