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

In an age where technology seems to evolve by the minute, one might assume that robots are seamlessly executing both ...