Thank you for the factual correction. It’s the geothermal (aerothermal?) heat that has decreased by more than the sun’s increasing luminosity, resulting in net temperature loss.

That's wrong too. While geothermal heat is going down, it's doing it very slowly and has very little impact on surface temperature. Earth was on average significantly colder in the past, to the point of there being several "snowball earth" episodes when the entire surface froze over. That's no longer possible, strictly because the Sun is warmer now.

Mars was somewhat warmer before, but that was not because of geothermal, but because it used to have a thicker atmosphere, and that retained heat better.

What? I thought the geologic record showed that it's been hot most of the time, punctuated by a few ice ages.

https://en.m.wikipedia.org/wiki/Geologic_temperature_record#...

Evidence of a Snowball Earth phase is not definitive, but that graph doesn't go back far enough. https://en.wikipedia.org/wiki/Snowball_Earth, https://en.wikipedia.org/wiki/Huronian_glaciation

I was talking about Mars, not Earth. Mars is a lot smaller and cools faster.

Indeed. Something we have in common.

Normally I wouldn't complain about downvotes, but telling me I've got uglier is a bit cruel. I'll get over it...