In the very easy-to-read [1], Kuperberg shows that, conditioned on the Generalized Riemann Hypothesis, knottedness is in $ \mathsf{NP}$ . As I understand the proof, given a knot-diagram of a knot $ K_1$ , the certificate is both a prime $ p$ and a set of polynomial equations $ S$ of a noncommutative representation ofRead more