Is AI making markets more or less efficient?