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

There are also trade-offs in creativity. Because the energy critic favors low-energy (i.e., high-probability) text, the model ...