I've started testing for twins (PRP or provable) of all primes on the top 5000 list that do [I]not[/I] have a base of 2 (since I can test those by downloading Karsten's lists). The timestamp for the list was "Thu Jan 20 04:51:06 CST 2011". I made a Python script to parse it out, which I'll post when I have results to post. Due to the vastly varying bases, GFNs, Phi's, and factorials/primorials, I don't see how I can really presieve this efficiently, so I'm just running it in PFGW with f.

An excellent and very interesting work Tim. Nice job! :smile:

David,
Just to be clear: Do you plan to primality prove 5789*2^15513+3 ? Tim, I updated the status in post 32 to reflect what has now been done. Gary 
1 Attachment(s)
[QUOTE=MiniGeek;247669]I've started testing for twins (PRP or provable) of all primes on the top 5000 list that do [I]not[/I] have a base of 2 (since I can test those by downloading Karsten's lists). The timestamp for the list was "Thu Jan 20 04:51:06 CST 2011". I made a Python script to parse it out, which I'll post when I have results to post. Due to the vastly varying bases, GFNs, Phi's, and factorials/primorials, I don't see how I can really presieve this efficiently, so I'm just running it in PFGW with f.[/QUOTE]
Results and Python 3.x parsing script attached. I also searched for twins of Proth primes (k*2^n+1) with a k over 10000 since those aren't on Karsten's list yet, and presieved that with srsieve. No primes found. Not counting numbers divisible by 3, I factored or tested 566 numbers. The other ones were of the type that they should be included on one of Karsten's lists. 
[QUOTE=gd_barnes;247879]David,
Just to be clear: Do you plan to primality prove 5789*2^15513+3 ? Tim, I updated the status in post 32 to reflect what has now been done. Gary[/QUOTE] I will test it. It will take a while. I will try to use multicores. We are in no hurry otherwise I wouldn't do it. It will eventually get finished. This number is small enough for me to eventually finish but large enough that I feel the need to use multicores. 
It will be about 100 hours of processing for phase 1. 4% done now. Begining to think multithreading is a waste of time for this small a number. I am running 2 threads and thread one has had 5/6 of the successes so far.

1 Attachment(s)
[QUOTE=MiniGeek;248734]Results and Python 3.x parsing script attached.[/QUOTE]
I've updated the script to handle extralong/multiline lines correctly. It can now read the entire current top 5000 list without any errors or placing numbers in the "confused" file (at least, from rank 1 to 5000  not sure what'll happen if it sees all the other things at the top and bottom). In case anyone's interested, I'm attaching the updated version here. 
[QUOTE=MiniGeek;247088]I don't know if a record list exists for non +1 twin prime, or (probably the same) a pair of twin primes/PRPs, where at least one is only known to be a PRP. Given the obscurity of that, I'd guess my 5789*2^15513+1, +3 pair have a good chance of being that.
[/QUOTE] Uhm... What about the twin (20431926447260679*4001#*(205881*4001#+1)+210)*(205881*4001#−1)/35 +5, +7 (5132 digits) ? 
[QUOTE=mart_r;250156]Uhm... What about the twin
(20431926447260679*4001#*(205881*4001#+1)+210)*(205881*4001#−1)/35 +5, +7 (5132 digits) ?[/QUOTE] I was not aware of these twin primes. Is the pair listed on a list anywhere, or did you just find the pair, or what? A google search can't find it, and it's not large enough to be on any list I can see. I can confirm with PFGW that they are primes. (the number between the primes is easily trial factored to at least 33.34%) What about narrowing the definition to twins where at least one of the pair would (at time of discovery) best be proved by general methods like ECPP, (e.g. no N1, N+1, or N1/N+1 combined test is useful) whether they have been proven or are still PRP? Maybe it qualifies for that record! :smile: If not, I give up and admit it's not a terribly interesting twin, it just happens to be the largest I found in my search. 
[QUOTE=MiniGeek;247632][CODE][URL="http://factordb.com/index.php?id=1100000000291801677"]1381*2^6512+3[/URL] and below MiniGeek (done, certificates in DB)
[URL="http://factordb.com/index.php?id=1100000000291801683"]7027*2^130173[/URL] [unreserved] [URL="http://factordb.com/index.php?id=1100000000291801687"]755*2^134743[/URL] [unreserved] [URL="http://factordb.com/index.php?id=1100000000287449188"]5789*2^15513+3[/URL] henryzz [/CODE]Done PRPing all candidates and proving all candidates I said I would. All results I saved (started a little after n=20K) along with all primes in pfgw.log or pfgwprime.log according to current proven status are attached. 2^134669173 would have taken a little over two days, but I put it on two cores for most of it, so it took closer to one day. Because it wasn't sieved very well, (only to 5 billion, or about 2^32) Prime95 chose P1 bounds that gave it a 20% chance of finding a factor. Unfortunately it did not find a factor, even with such generous bounds, so I had to test it. Alas, the largest known twin Mersenne prime (i.e. 2^p1 and (2^p3 or 2^p+1) are prime) is just p=5: 29 and 31. Just for fun, here are all known primes that are twin Mersenne or Fermat primes: [CODE]2^16+1, +3 (65537, 65539) 2^4+1, +3 (17, 19) 2^51, 3 (29, 31) 3, 5, and 7, by various formulas (3=2^1+1=2^21, 5=2^1+3=2^2+1=2^33, 7=2^2+3=2^31)[/CODE]I'd guess that such twin pairs are finite and fully listed there, even if there are infinite Mersenne, Fermat, and twin primes. AFAICT from a quick googling, [URL="http://www.mailarchive.com/mersenne@base.com/msg00865.html"]the last time[/URL] someone looked for Mersenne Twin Primes was in 1999, when the highest p known to make 2^p1 prime was 3021377.[/QUOTE] So has anyone factored [quote]As you can see, there are only two numbers (2^42533 and 2^112133) in the table that I have not been able to factor. [/quote]either M(4253)2 or M(11213)2 since then? 
[QUOTE=davar55;250202]So has anyone factored
either M(4253)2 or M(11213)2 since then?[/QUOTE] Not as far as I know, but I don't know of any serious ECM attempts, just that old TF to 2^32. Here are the FactorDB entries for those: [URL="http://factordb.com/index.php?query=2^42533"]http://factordb.com/index.php?query=2^42533[/URL] [URL="http://factordb.com/index.php?query=2^112133"]http://factordb.com/index.php?query=2^112133[/URL] 
All times are UTC. The time now is 17:32. 
Powered by vBulletin® Version 3.8.11
Copyright ©2000  2020, Jelsoft Enterprises Ltd.