gwern comments on Potential gears level explanations of smooth progress