[Link] John Carmack working on AGI — LessWrong