PredictionBook is now read-only ( read more ).

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