Xiaomi Mi 10 Pro “raggiunge” i 600.000 punti su AnTuTu