Thermo-electric devices have been around for ages. We use them here at work to cool down electronic sensors.............
https://en.wikipedia.org/wiki/Thermoelectric_materials
Yes, Peltier cells. They have been used for small portable refrigerators for decades. This is what the portable 12V plugin icechests use. Sounds like the old Peltier cells are actually more efficient than these are. They will get colder.