The proofs would only need to be well on their way enough that the only thing needed to finish it were thousands of terawatthours of energy. Something which the mathematician having their work stolen does not have.