das funktioniert so ähnlich wie mit untertiteln bei filmen - die kann man ja z.b. bei xbmc auch zu nem film anzeigen:
du saugst untertitel oder lyrics mit dem programm, das file enthält die texte und timestamps und das programm (xbmc oder hier eben die musik app) stellt das dann passen dar:
http://en.wikipedia.org/wiki/LRC_(file_format)
nur wird da eben ein bestimmter service für die lrcs verlinkt sein (vielleicht direkt von xiaomi, vielleicht auch ein offener webdienst) und da kommt es dann ab und an zu fehlern: es gibt viele lieder mit dem gleichen titel, titel und interpret müssen so angegeben sein wie in der datenbank die abgefragt wird u.s.w.
bei xbmc fragt er alle kombinationen ab und du bekommst mehrere zur auswahl angezeigt.
da das hier vollautomatisch geschieht, kommt manchmal gar nichts dabei raus und manchmal auch was falsches.
was das ganze dann noch komplizierter macht, sind versch. versionen eines liedes: nur mal als extrembeispiel: meat loaf's "anything for love" gab's in einer version für's radio mit rd. 6 minuten und als albumversion mit über 10 minuten.
wenn da das falsche genommen wird, bringen dir die timestamps natürlich auch nichts mehr.
man könnte jetzt mal versuche, ein passendes lrc. mit dem gleichen namen ins gleiche verzeichnis zu packen. bin mal gespannt, ob die miui app das dann auch anzeigt.