gwern comments on The Emergence of Math