'Big Short' trader makes $1 billion bet against AI boom...