gwern comments on Group rationality diary, 10/​1/​12