"Big Short" Investor Bets $1.1 Billion Against 2 Top AI Stocks