gwern comments on Pathways: Google’s AGI