gwern comments on The average North Korean mathematician