小米澎湃OS 4首批Beta推送，REDMI K100 Pro系列缺席引发关注。官方称其将在正式版首批支持。产品经理解释：Beta核心是收集真实场景反馈，需用户规模、系统稳定与熟悉度；K1