There isn't a lot happening w.r.t. Antarctic resources for two reasons:-

1) There's an international treaty against exploiting them.
2) There are so many other resources elsewhere on planet Earth that are cheaper and easier to get at.

At some times, some groups who have had limited access to other resercoues and limited respect for international treaties have proposed Antarctic resource extraction.

For instance, when I was a postgrad student at Cambridge University, we had a visitor from South Africa, a geologist who was working on a feasability study for a platinum-group mineral mine in Antarctica, with crew and concentrated product being exported across the ice on hovercraft.

It was do-able, but only if you were desperate.

Now, if people actually were on the surface of Mars, it would be natural for them to source as much of their resources and minerals locally, because transport from Earth would be so expensive, but that doesn't mean that we are planning NOW to exploit Martian resources in preference to those on Earth.

So, in my view, the development of mining colonies on Mars (and the asteroids for that matter) requires that first we colonise those places for some other reason.

(diversification against extinction events, scientific exploration, political/religious independence etc...)

And that first colony will absolutely require cheap access to space, to get it, and its initial supply of materials and machines there, and to keep it supplied while they work out how much of the local materials can be used to keep their society going, and how exactly they do it.