知名爆料博主透露Redmi游戏手机已经入网，研发代号阿瑞斯。