Mathematics and saving lives — LessWrong