AI presidents discuss AI alignment agendas — LessWrong