Redwood Research’s current project — LessWrong