PredictionBook is now read-only ( read more ).

Determining if a knot is unknotted will be shown to be unconditionally in NP intersect co-NP by 2035.

Created by JoshuaZ on 2012-04-17; known on 2035-01-01