Richard_Ngo comments on Intuitions about solving hard problems