Intro & Proposal for AGI Model — LessWrong