An examination of Metaculus' resolved AI predictions and their implications for AI timelines — LessWrong