https://elrincondechina.com/noticias/noticias-de-moviles-smartphones/xiaomi-mi-mix-10-seria-el-nombre-real-del-mix-4-el-proximo-miui-seria-miui-15/
Xiaomi Mi MIX 10 sería el nombre real del MIX 4; el próximo MIUI seria MIUI 15