> The heat is transferred from the interior towards the surface mostly by conduction, and this conductive heat flow makes temperature rise with increasing depth in the crust on average 25-30°C/km
Not sure about the rate per-mile, but literally it's that hot, yes, but not even 15 miles. Just down 5-7km under the oceans, for example at the Mohorovičić discontinuity the temp ranges from 392 to 752F.
In the Nat Geo article they quote a mine in South Africa reaching up to 55C (131 F) at the bottom and the mine is 4km deep. At a rate 3 degrees Celsius per 100m it should be 120 degrees Celsius over ambient. Which obviously does not add up.
https://en.m.wikipedia.org/wiki/Kurobe_Seny%C5%8D_Railway
Cooled down to 40C since the 60s.
What's the element I'm missing as to why they didn't?
Also, digging (or rather drilling) in bedrock is hard without motorized equipment and good steel.
Also, supplying fresh air down there is a problem.
Also, preventing the mine from flooding is usually a huge problem.
Mining is hard and a lot of people lost their lives doing that. That said, if your only intent is to get a bit warmer, you may basically try a good cave. Caves tend to have temperatures above freezing for the whole year.
https://en.wikipedia.org/wiki/Panthera_spelaea
IDK if these lions hibernated, but their bones are definitely found in caves all over Europe. Often with human remains or artifacts nearby.