gwern comments on Why is o1 so deceptive?