The founder of the prediction marketplace spoke at Cantor Fitzgerald’s crypto, AI and blockchain conference in Miami.

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