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

Whether it's calibrating safety systems or diagnosing medical conditions, there's no substitute for human expertise augmented ...