上交所：蚂蚁集团科创板上市注册生效。