Open AI co-founder on AGI — LessWrong