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

2×3×29×67 Posts
Default

Quote:
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