>>31
うん、だけど地球の体積は火星の約8倍だから、冷えるのにも8倍の
時間がかかるから活動が活発な状況はあと200億年は続くでしょう。

その前に太陽の寿命が尽きる(あと60億年後に太陽は白色矮星になる)
ので、そっちの方の対策をするのが先になる。