Geoengineering includes getting better at radiating heat as well as reducing heat received. Superconductor to dark-side cold farms might do the trick. Also, include bioengineering in your list of possible mitigations: if we can live in a very hot environment (or upload/emulate on a more durable substrate), it’s less of a problem.
Longer-term, #3 is the only way. Intelligent life needs to elsewhere when this planet’s used up.
Geoengineering includes getting better at radiating heat as well as reducing heat received. Superconductor to dark-side cold farms might do the trick. Also, include bioengineering in your list of possible mitigations: if we can live in a very hot environment (or upload/emulate on a more durable substrate), it’s less of a problem.
Longer-term, #3 is the only way. Intelligent life needs to elsewhere when this planet’s used up.