' 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.

• gwern estimated 95% on 2011-06-27
• gwern said “https://rjlipton.wordpress.com/2011/01/02/predictions-past-and-future/” on 2011-06-27
• JoshuaZ estimated 92% on 2011-07-22
• JoshuaZ   judged this prediction right on 2012-01-02.