Hugging Face: Nvidia vai comprar repositório de IA por US$ 13 bilhões