Are these images AI-generated?

Just random thoughts hiking recently.

They are all called Lion Rock because their distinctive shapes resemble a lion. These formations have existed throughout history, although it is hard to distinguish if they are real or AI-generated these days.

Well, if we are just scrolling our phones for instant digital amusement, maybe it does not matter.

Locations:

1. Millport
2. Chedder
3. Piha Beach
4. Hong Kong

Source: Wikipedia for all images