Once a mathematical theorem is proven true like the Halting problem can it ever be disproven? Just curious about this article I read today in the Google News. I am not a mathematician but enjoy the history of mathematics and the article seems to suggest the Halting problem has been disproven. I always thought once a theorem is proven it would never be disproven but again I am not an expert. 
The article is the following: https://gizmodo.com/remarkable-mathematical-proof-describes-how-to-solve-se-1841003769
I do not know what the rules are for allowing me to enter a link so maybe I will write the part of the article in quotes to illustrate the point as follows: 

Computer scientists are buzzing about a new mathematical proof that proposes a quantum-entangled system sort of like the one described above. It seems to disprove a 44-year-old conjecture and details a theoretical machine capable of solving the famous halting problem, which says a computer cannot determine whether it will ever be able to solve a problem it’s currently trying to solve.
The 150-page proof, titled simply “MIP*=RE,” deals in the esoteric subject of computational complexity. If it holds under scrutiny, it demonstrates a profound connection between quantum physics, computation, and mathematics. It shows that a theoretical class of computing devices—a verifier interrogating the quantum-entangled oracles—can check some of the most complex computer problems imaginable.

The last paragraph is beyond my understanding with the level of math that I have but what disturbes me is that I always believed once a proof was shown to be true it could not be disproven. The halting problem is related to Godel's incompeteness theorem and I know Godel's Theorem has also been proven to be true.
I thought perhaps someone who is expert could comment on this. Thank you.
 A: A theorem, once (correctly) proven, cannot be disproven. That said, there are two qualifiers here.


*

*The theorem's proof must be genuinely correct. But proofs can be quite complicated, and mistakes in them can be very subtle. See this MathOverflow question for a number of examples of theorems which were widely believed to be proven but later shown to be false. This is not likely to be the case with the unsolvability of the Halting Problem, the proof of which is quite simple.

*The theorem must be correctly stated. In particular, theorems are often summarized inexactly for general use; in this case, the inexact but popular summary of the Halting Problem is "no computer program can detect whether or not a given computer program will halt on a given input". But this is an incorrect statement of the theorem, which relies on the Church-Turing thesis - which states, essentially, that anything a person would call a "computer" is fundamentally equivalent to a Turing machine. The article you read suggests that quantum computers do not abide by the Church-Turing thesis, and are not equivalent to Turing machines - the unsolvability of the Halting Problem isn't incorrect, it just doesn't apply to those computers.


As a side note: The standard proof that the Halting Problem is unsolvable is very flexible, and could likely be modified to apply to anything that functions remotely like a Turing machine. The reasonable conclusion here is that a quantum computer is simply not remotely like a Turing machine.
A: Conjectures are propositions that are not proven but thought to be true.
A: The halting problem is still uncomputable, even with quantum computers, which can still be modeled by Turing Machines.
The article mentions an oracle, which is a theoretical-but impossible to create- program that can solve the halting problem. 
Reasoning with these oracles is useful when studying the theory of computation.
