Greg Kuperberg recently proved that knottedness can be certified in polynomial time, assuming the generalized Riemann hypothesis holds. We’ll go over basic definitions from complexity theory and related topological results, followed by some details from Kuperberg’s proof.