PredictionBook transitioning to read-only mode at the end of 2023 ( read more ).

' No circuit lower bound of {{1000n}} or better will be proved for SAT.' in 2011 —Lipton

Created by gwern on 2011-06-27; known on 2012-01-01; judged right by JoshuaZ on 2012-01-02.

Please log in to respond to or judge prediction