show/hide this revision's text 1 [made Community Wiki]

Saul Schleimer proved that sphere recognition lies in NP. See his paper here (n.b. : the version at the arXiv is out of date).