mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Math

Reply
 
Thread Tools
Old 2010-09-07, 01:01   #1
Dougy
 
Dougy's Avatar
 
Aug 2004
Melbourne, Australia

23×19 Posts
Default Seeking a proof that 5^7954+7954 is prime

Hi guys,
Could someone please prove that 5^7954+7954 is prime? This question came up on math.stackexchange.com (here is the question). I won't be able to run Primo for long enough due to travelling.

- Dougy
Dougy is offline   Reply With Quote
Old 2010-09-07, 02:42   #2
CRGreathouse
 
CRGreathouse's Avatar
 
Aug 2006

3×1,987 Posts
Default

It's a BPSW probable prime, and a strong pseudoprime to 100 randomly-selected bases. I don't have the resources to prove it at the moment, but it's almost surely prime (even if selected by an adversary).
CRGreathouse is offline   Reply With Quote
Old 2010-09-07, 07:26   #3
schickel
 
schickel's Avatar
 
"Frank <^>"
Dec 2004
CDP Janesville

41128 Posts
Default

Quote:
Originally Posted by Dougy View Post
Hi guys,
Could someone please prove that 5^7954+7954 is prime? This question came up on math.stackexchange.com (here is the question). I won't be able to run Primo for long enough due to travelling.

- Dougy
If no one offers something bigger, I've got a spare system I could run it on; it won't be fast though, it's only a 3 GHz Pentium D.....
schickel is offline   Reply With Quote
Old 2010-09-07, 11:29   #4
lavalamp
 
lavalamp's Avatar
 
Oct 2007
Manchester, UK

2·3·223 Posts
Default

I've started it on a core of a 2.4 GHz Core 2 Duo PC, shame Primo isn't multi-threaded.

I guesstimate around 37 days runtime based on info here:
http://mathworld.wolfram.com/Ellipti...tyProving.html

Through simple clock speed scaling, I guesstimate 30 days running on your 3 GHz Pentium D.

I suppose it does somewhat depend on how Primo has been updated and optimised to run on the Core architecture. Does anyone have any better estimates? The number is 5560 digits or 18469 bits in length.
lavalamp is offline   Reply With Quote
Old 2010-09-07, 11:55   #5
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

2×1,433 Posts
Default

See this thread with some useful hints from Cybertronic aka Norman Luhn (see posts 127 and 166).

Perhaps he can help out here!
kar_bon is offline   Reply With Quote
Old 2010-09-07, 12:22   #6
Dougy
 
Dougy's Avatar
 
Aug 2004
Melbourne, Australia

2308 Posts
Default

Thanks for that, that's great! In either case, it would be significantly faster than if I ran it myself.
Dougy is offline   Reply With Quote
Old 2010-09-07, 13:19   #7
lavalamp
 
lavalamp's Avatar
 
Oct 2007
Manchester, UK

2×3×223 Posts
Default

kar_bon, I think I managed to make some sense of post 127, using a pair of translators to compensate for each others deficiencies. However, I don't think I'll bother hacking into the intermediate files of Primo as I don't understand anywhere near enough about it for that. I'd almost certainly end up wasting weeks of CPU time computing nonsense.
lavalamp is offline   Reply With Quote
Old 2010-09-08, 07:54   #8
schickel
 
schickel's Avatar
 
"Frank <^>"
Dec 2004
CDP Janesville

212210 Posts
Default

Quote:
Originally Posted by lavalamp View Post
Through simple clock speed scaling, I guesstimate 30 days running on your 3 GHz Pentium D.
I hadn't estimated yet, but I knew it was going to be slow after it didn't advance any bits after seven hours...I would have had to kick one of my sieve jobs off a faster core to make any progress.
schickel is offline   Reply With Quote
Old 2010-09-08, 08:41   #9
lavalamp
 
lavalamp's Avatar
 
Oct 2007
Manchester, UK

2×3×223 Posts
Default

Here's where mine is after nearly a day of running.

Edit: I should point out that I have basically no idea what any of the status info means.
Attached Thumbnails
Click image for larger version

Name:	primo.png
Views:	163
Size:	25.0 KB
ID:	5665  

Last fiddled with by lavalamp on 2010-09-08 at 08:45
lavalamp is offline   Reply With Quote
Old 2010-09-08, 09:18   #10
schickel
 
schickel's Avatar
 
"Frank <^>"
Dec 2004
CDP Janesville

212210 Posts
Default

Quote:
Originally Posted by lavalamp View Post
Here's where mine is after nearly a day of running.

Edit: I should point out that I have basically no idea what any of the status info means.
From running a couple of proofs a while back (3 years? time files....), the thing to watch is the "bits" field. The number under test is 18469 bits long; as the "numerator" decreases, that means that Primo is working on the proof for the smaller number. It starts *very* slowly, with the speed increasing as the numbers get smaller.

Two things: if you want to use the PC at all, check the "Idle" box, otherwise Primo will monopolize the CPU; and check the "Double file management" box if you don't have a UPS, that way Primo will keep backups of the temp files as it works, just in case the power were to quit while it was writing a file.
schickel is offline   Reply With Quote
Old 2010-09-08, 09:37   #11
lavalamp
 
lavalamp's Avatar
 
Oct 2007
Manchester, UK

2·3·223 Posts
Default

Quote:
Originally Posted by schickel View Post
Two things: if you want to use the PC at all, check the "Idle" box, otherwise Primo will monopolize the CPU; and check the "Double file management" box if you don't have a UPS, that way Primo will keep backups of the temp files as it works, just in case the power were to quit while it was writing a file.
Sadly I can't check the double file management box now that it's already running. I don't really want to stop it in case I can't start it again. Power cuts here are very rare, so lets hope there isn't one in the next month or so while it's writing out a file.

As far as the idle box, I deliberately unchecked that one so that it can pretty much have the core all to itself and not have to give way. It's a dual core machine and nothing else it does will max out the other core.
lavalamp is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Twin Prime Conjecture Proof Steve One Miscellaneous Math 53 2019-03-18 00:34
Proof of Legendre's conjecture, that there is always a prime between n^2 and (n+1)^2 MarcinLesniak Miscellaneous Math 41 2018-03-29 16:30
A proof for the worlds largest prime ModeEric Information & Answers 21 2017-11-29 14:46
Proof Claimed for Deep Connection between Prime Numbers Jeff Gilchrist Math 1 2012-09-11 14:42
A proof for the Twin Prime Conjecture Carl Fischbach Miscellaneous Math 7 2009-06-24 05:52

All times are UTC. The time now is 22:20.

Tue Jan 19 22:20:26 UTC 2021 up 47 days, 18:31, 0 users, load averages: 2.05, 2.01, 2.04

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.