>>/1502/
No, they've been upscaled using an AI neural network called gigapixel
https://topazlabs.com/gigapixel-ai/