太空算力来了，这些公司可能成为市场核心。