跟帖AI开源社区Hugging Face寻求出售，估值或超130亿美元