Who says AI tokens can’t be shorted?