Aligned AI Proposals — LessWrong