Counting AGIs — LessWrong