Share N+/-1 Primality Proofs

[ChristianB]

Originally Posted by Puzzle-Peter

I think the maximum number of tests you can start at once is 999, maybe that helps reducing the amount of manual work.

The problem with that is that someone else could also download and process PRPs and I would not recognize (thus computing a certificate that is not needed). I refined my scripts to automatically download and upload the inputs and certificates to factordb. So the only manual intervention is loading the input files in primo and executing the scripts.

I'm currently at PRP575 and 100 of those need around 30 minutes right now.

[Batalov]

Here is a nice prime - Phi₁₄(9069*2^64163+1).
It needs a helper (9069*2^64163+1 is a known prime) and is proven by N-1 33.34% factored.

[Batalov]

This entry is so wrong! - (2^169690*33218925)^2-1

[Dubslow]

Originally Posted by Batalov

This entry is so wrong! - (2^169690*33218925)^2-1

[axn]

Under "More Information" section, both the algebraic factors are listed as well.

So Bill Gates was on to something when he wanted to factor prime numbers, huh!

[axn]

Yeah, its official

http://www.factordb.com/index.php?id...00000764142938

[chris2be8]

After adding algebraic factors to (2^19774*13-1)/27+1 I found that proving http://factorization.ath.cx/index.ph...00000764200821 prime would enable a N+1 proof for (2^19774*13-1)/27 (http://factorization.ath.cx/index.ph...00000349840249).

Chris

[chris2be8]

And here's another pair:
Proving ((10^2933*54+10^5867-1)/9-1)/10 (http://factorization.ath.cx/index.ph...00000271892643) would enable a proof of (10^2933*54+10^5867-1)/9 (http://factorization.ath.cx/index.ph...00000020252957). But they are nearly the same size.

The first looks as if it should have algebraic factors. But I could not find any.

Chris

[ChristianB]

Originally Posted by chris2be8

After adding algebraic factors to (2^19774*13-1)/27+1 I found that proving http://factorization.ath.cx/index.ph...00000764200821 prime would enable a N+1 proof for (2^19774*13-1)/27 (http://factorization.ath.cx/index.ph...00000349840249).

Chris

For PRP3658 I get:

Originally Posted by primo

The candidate is not a Lucas strong pseudoprime for (P=1,Q=-1)

there seem to be some factors missing for (2^19773+1)

[chris2be8]

Very odd. I'm sure it showed as PRP when I posted the message.But I havn't saved a screen shot of it so I can't prove it.

Chris.

Edit. Checking under more information http://factorization.ath.cx/index.ph...00000764200821 was created between March 15, 2015, 10:46 am and March 15, 2015, 11:50 am which was when I was adding the algebraic factors. I think it first showed red (ie unknown status), then purple (PRP). But only Syd could tell for sure, and he has more important issues to fix.

[ChristianB]

Originally Posted by chris2be8

Very odd. I'm sure it showed as PRP when I posted the message.But I havn't saved a screen shot of it so I can't prove it.

I saw it as a PRP too, that's why I loaded it into Primo. Now it's flagged as Composite.