' 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