The Next Big Development for GIMPS

[retina]

Originally Posted by ATH

PRP test = probable prime test, so if positive (zero residue) it is "probably" prime.

Yes, true. But let's be less vague and put a figure on that. We expect something on the order of 99.99...% sureness that it will be prime. The actual figure is unknown, but empirically we see such outcomes.

[ATH]

Yes, it would be a bigger discovery to find a PRP that was not prime at these sizes than finding the next Mersenne Prime.
But I just wanted to stress that PRP test cannot prove primes but Prime95/mprime can with the LL tests.

[storm5510]

Originally Posted by ATH

PRP test = probable prime test, so if positive (zero residue) it is "probably" prime.
Lucas Lehmer test (LL) proves it is prime if you get a zero residue. Both tests are in Prime95/mprime, but we only need LL test if a PRP test is positive.

We switched from LL to PRP tests in the last ~2 years because of the increased (Gerbicz) error checking in PRP tests and now because of the certificates.

There is a little ambiguity in "PRP test is positive." By "positive" you mean a zero residue?

[retina]

Originally Posted by storm5510

There is a little ambiguity in "PRP test is positive." By "positive" you mean a zero residue?

PRPs have a different residue, namely 3² (not 0), but essentially, yes, it amounts to the same thing, that a prime is strongly suspected.

[bitsam]

The Files have been removed. Can this please be reposted?

Originally Posted by Prime95

Try https://www.dropbox.com/s/4h7jujxwzm...oader.zip?dl=0 for Windows

Launch from a DOS shell. Command line arguments are user_id, proof_file_name, chunk_size, bandwidth_limit

Default chunk size is 5 (MB)
Default bandwidth_limit is unlimited. I'm using 1 (Mbps)

[Uncwilly]

Use the files located here instead.
https://www.mersenneforum.org/showthread.php?t=25823
These are more up to date.

[moebius]

Originally Posted by bitsam

The Files have been removed. Can this please be reposted?

https://mersenneforum.org/showpost.p...3&postcount=19

[kriesel]

Originally Posted by bitsam

The Files have been removed. Can this please be reposted?

Was, with permission, with caveats. No support. Not compatible with proof V2 such as produced by gpuowl V7.2. See #4 of https://www.mersenneforum.org/showpo...0&postcount=26

[wolsonjr]

Recently upgraded to version 3.03b. Yesterday I started my first new exponent under the new version.


This morning I discovered my nightly backup had doubled in size!
Checking it I found that I had a new file, p101509819.residues that was 3.1G. That was a big surprise and totally unexpected.


While this did not cause me any problems since I quickly found what had occurred, I think a warning would be a good idea when switching to this version. I don't know how big the residue files may be and while I have many TB of storage, a change of this magnitude in the wrong location could have been problematical for someone.

https://www.mersenneforum.org/moz-ex...r-marker-1.png

[kriesel]

Welcome to the forum. You might find some useful background at https://www.mersenneforum.org/showth...922#post521922

Originally Posted by wolsonjr

https://www.mersenneforum.org/moz-ex...r-marker-1.png

404 error on that.

prime95 disk requirements for prp & proof
https://www.mersenneforum.org/showpo...&postcount=242
https://www.mersenneforum.org/showpo...&postcount=243

At the very top of mprime/prime95 v30's Whatsnew.txt:

New features in Version 30.1/30.2/30.3 of prime95.exe
-----------------------------------------------------

1) PRP proofs.  This allows GIMPS to double-check a PRP test at less than 1% of the cost of a full PRP test!
   PRP proofs require lots of temporary disk space.  See readme.txt for details.
   PRP proofs require uploading a large proof file.  See readme.txt for details.
   PRP proof verifications require downloading a modest verification file.  See readme.txt for details.

In readme.txt, see the section starting with the title CONTROLLING RESOURCE USAGE.
It seems to me very well documented.

[kruoli]

Originally Posted by kriesel

404 error on that.

That link got mixed up with some Chromium extension on his side (I guess) and thus is invalid.

Originally Posted by kriesel

It seems to me very well documented.

Yes. If you are always reading path notes etc., then you surely will know about the storage requirements. But: Not everybody will read the documentation.

Nonetheless, the V30OptionsConverted option in prime.txt could be used to show a message box to the user when he upgrades, once. This way, the user is not forced into anything and is not surprised. I'm not sure if showing the resource settings is enough to make the point clear to everyone.