Can an "arbitrarily advanced computer do everything a brain can do?" Empirically, right now, current machines can't but we are talking about "future machines, via line-of-sight extrapolation". Not fundamental leaps in tech, but incremental ones. It seems plausible, but it seems we expand the depths of the complexity of the requirements nearly as fast as we advance current capabilities. I don't know, but I'd put my money on the technology catch up.
Proven? Nothing in science is ever proven.
But on half a millenium we have failed to find anything that can't be simulated by math, and Turing completeness means a computer can simulate anything that can be simulated by math. We also can simulate all the smallest components of a brain.
At this point the claim that math can not simulate it is highly extraordinary.
Technically, it is not proven that Turing machines can compute all computable functions, so there is some purely theoretical possibility that the brain could be able to compute functions that a Turing machine can't.
Personally I find that extremely unlikely, and agree that it would be extremely surprising. But it wouldn't invalidate anything we have proven so far.
In what way can this be proven?
It's very tempting in an era of tech-centered growth to think of computers as the solution to everything, but we are barely even beginning to understand the brain. We know computers fairly well and can talk about them, but how can we make such a claim when we don't know the other thing we're talking about?
In fact, the brain created the computer, didn't it? Therefore, from that standpoint it is arguable that the brain is a superset of the computer. It's not something I really believe in (because my opinion is that you can't really equate things that are of entirely different units, one of which being unknown), but just a "devil's advocate".