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

Artificial intelligence (AI) is increasingly prevalent, integrated into phone apps, search engines and social media platforms ...