AGI as a new data point — LessWrong