Hugging Face Seeks $13 Billion Exit | 16 × AI