Re: So "known" primes could be invalidated?
Once a number N has been proved prime (assuming the proof algorithm is correct and the are no machine malfunctions) you do not need to worry about finding (non-trivial) factors of N, it cannot happen.
Such is the nature of a proof 8^)