Vitalik Buterin says AI prediction markets can make X Community Notes faster