University of Zurich has been using AI bots to manipulate Redditors