University of Toronto mathematician Daniel Litt on the risk that AI narrows mathematics when everyone runs the same generative slot machine: "We've seen examples where three or four or five papers with the exact same proof of the exact same theorem have come out within a couple days of each other, which is clearly some situation where someone's playing the slot machine." "It's not obvious that this problem goes away as the models get better. Maybe it does, but maybe it doesn't." "A lot of…