supposedlyfun comments on AGI Predictions