Should you publish solutions to corrigibility? — LessWrong