Pues acaba de saltarme una actualización... de MIUI 14!!!! Que corrige el GPS y el parche de seguridad para diciembre de 2023.
Lo de HyperOS lo veo aún lejos, en la página oficial de Xiaomi donde aparecen las ROMS estables que se pueden instalar una vez que te las descargues aún no aparecen ni el 13 t ni el 13 t pro (los 12 t si que aparecen, y los 13 también...)
Edito: lo del programa pilot me parece una porquería, la verdad. Vamos, que no sirve para nada (o al menos, a mi no me ha servido).
