View Single Post
Old 2015-03-05, 22:47   #9
ewmayer's Avatar
Sep 2002
Rep├║blica de California

3·132·23 Posts

Originally Posted by wildrabbitt View Post
Without proof it really is useless except to them if they've got one, but why would they keep the proof secret?
The point is, even with proof of correctness the test is useless in practice.

In theory I can do a rigorous '1-iteration' test of any M(p) by simply feeding it to e.g. the Pari 'factor' command. In practice, once p gets larger than a few hundred bits, the needed runtime becomes impractically large.
ewmayer is offline   Reply With Quote