gwern comments on Examples of AI Increasing AI Progress