这家徐小平、王强、雷军、张一鸣重仓的教育科技公司要上市