This Big Short Investor Is Betting Against AI. Is He Making a Big Mistake?