Specification gaming examples in AI — LessWrong