'Ryan Williams's recent bound on ACC circuits of NEXP will be tightened' —JoshuaZ

Created by gwern on 2011-01-06; known on 2012-01-01; judged wrong by JoshuaZ on 2012-01-01.

Please log in to respond to or judge prediction