L'investisseur du « Big Short » parie 1,1 milliard de dollars contre deux fleurons de l'IA