Nvidia buys Hugging Face for US$12.9 billion, tying open-source AI to chip dominance digitimes