Even briefer summary of ai-plans.com — LessWrong