Inventing a great hyper-computer in the future does not invalidate known mathematical proofs today.
Look, the point is that the "mathematical proof against evolution" in this article is not a valid mathematical proof. The theory of evolution may be right or it may be wrong. And there may be other methods of proving that it is either right or wrong. But this isn't a valid method.