Официально. Вот когда покажут новый недорогой флагман Redmi от Xiaomi

Что точно известно: смартфонов будет несколько - во всяком случае, запланирована и модель K40 Pro.