Saya pikir yang benar "Kartu Indonesia Pintar" karena itu nama khas yang melekat pada sebuah program, berbeda dengan "kartu tanda penduduk".