Not quite the same problem, because only a small portion of that energy radiated from space will make it back to the environment on Earth. For convection that is 100%.

> Using an entire Mars only nets us about a 2x multiplier for our energy expenditure budget.

We don't need to care about cooking Mars.