What AI companies should do: Some rough ideas — LessWrong