gwern comments on December 2017 Media Thread