mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Conjectures 'R Us

Reply
 
Thread Tools
Old 2010-06-11, 06:55   #1
The Carnivore
 
The Carnivore's Avatar
 
Jun 2010

33·7 Posts
Default List of proven/1k/2k/3k conjectures

Is there a list of proven conjectures? There's a "conjectures with one k remaining" thread, but I don't see a place that has a list of all proven conjectures.

As a side note, could the mods consider removing some of the stickies in here? Maybe it's because I'm new, but all the stickies make the board pretty confusing.
The Carnivore is offline   Reply With Quote
Old 2010-06-11, 07:58   #2
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

5×13×157 Posts
Default

Quote:
Originally Posted by The Carnivore View Post
Is there a list of proven conjectures? There's a "conjectures with one k remaining" thread, but I don't see a place that has a list of all proven conjectures.

As a side note, could the mods consider removing some of the stickies in here? Maybe it's because I'm new, but all the stickies make the board pretty confusing.
Hi Carnivore. Welcome to CRUS!

In case you didn't notice, probably the best place to get started with the project is in the Come Join Us thread at http://www.mersenneforum.org/showthread.php?t=9738. Also see the software thread for the appropriate software to use.

The current set up of this all encompassing huge project and the design of the forum does not easily allow the removal of the numerous stickies. It was just a few months ago that we divided up the 2 huge reservation/status/primes threads into 5 of them; which took many hours over several days. Eventually we may look into some sub-forums for the various ranges of bases.

We have not made it a point to make a separate list of proven conjectures because those are the bases that are no longer searched. Mark (rogue) started the 1k bases thread and I started the recommended bases thread just a few months ago as starting places to find interesting bases to begin searching. It is a tremendous administrative effort keeping the web pages and the appropriate 1k & recommended posts up to date. Proven bases would be another posting to administer that does not really assist people in finding bases to search.

If you have any questions about how to get started searching, please let us know.


Gary

Last fiddled with by gd_barnes on 2010-06-11 at 07:59
gd_barnes is online now   Reply With Quote
Old 2010-06-11, 18:15   #3
The Carnivore
 
The Carnivore's Avatar
 
Jun 2010

BD16 Posts
Default

Thanks for the lists, kar_bon!

Quote:
If you have any questions about how to get started searching, please let us know.
Sorry, but I won't be contributing to this project in the near future While this project is quite interesting, my goal is getting a prime onto the top 5000 list and having it stay on there as long as possible.

So I'm going to get as much "bang for the CPU cycle" as possible. That means testing base 2 for low k's (k<50).
The Carnivore is offline   Reply With Quote
Old 2010-06-11, 18:26   #4
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

141518 Posts
Default

Quote:
Originally Posted by The Carnivore View Post
Sorry, but I won't be contributing to this project in the near future While this project is quite interesting, my goal is getting a prime onto the top 5000 list and having it stay on there as long as possible.

So I'm going to get as much "bang for the CPU cycle" as possible. That means testing base 2 for low k's (k<50).
In that case, what I would suggest is the 5th Drive at our sister project, No Prime Left Behind. Currently its leading edge is around n=825K, which is sufficiently high to stay on the top-5000 list for quite a while (at least a couple of years barring any huge increase in computing power, in which case no prime found today would really be safe ). Since the 5th Drive is searching a much wider range of k's than you would have with an indivdual k<50 (not to mention the somewhat lower n), the odds are you would be able to find your prime much more quickly.
mdettweiler is offline   Reply With Quote
Old 2010-06-11, 19:44   #5
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

1020510 Posts
Default

Quote:
Originally Posted by kar_bon View Post
Using a small script will print this from the Riesel-page as proven conjectures:



and from the Sierpinski-page as proven:



@Gary: If you're interested, I can mail you this small script!
Thanks Karsten. Yes, it would be interesting to get that script.

BTW, the powers-of-2 bases need to be added to these lists. Base 8 is proven on both sides.
gd_barnes is online now   Reply With Quote
Old 2010-06-11, 19:47   #6
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

1011000111012 Posts
Default

Quote:
Originally Posted by gd_barnes View Post
Thanks Karsten. Yes, it would be interesting to get that script.

BTW, the powers-of-2 bases need to be added to these lists. Base 8 is proven on both sides.
OK.

If you put both into the pages, too, and mark them as proven (grey) they will be listed also automatically!

PS: Mail sent.

Last fiddled with by kar_bon on 2010-06-11 at 19:58
kar_bon is offline   Reply With Quote
Old 2010-06-12, 10:02   #7
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

5×13×157 Posts
Default

Quote:
Originally Posted by kar_bon View Post
OK.

If you put both into the pages, too, and mark them as proven (grey) they will be listed also automatically!

PS: Mail sent.
I never got the Email. Google doesn't accept executables so you might have to zip it.

I went ahead and added the power-of-2 bases and another one that I just proved to the earlier bases proven lists.
gd_barnes is online now   Reply With Quote
Old 2010-06-12, 10:44   #8
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

B1D16 Posts
Default

Ok, sent again.
kar_bon is offline   Reply With Quote
Old 2010-06-24, 09:49   #9
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

5·569 Posts
Default

Currently there're 326 Riesel and 284 Sierpinski bases proven.

PS: Countings from 2010-06-11: 324 R and 274 S.

Last fiddled with by kar_bon on 2010-06-24 at 09:53
kar_bon is offline   Reply With Quote
Old 2010-06-25, 08:59   #10
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

100111110111012 Posts
Default

Quote:
Originally Posted by kar_bon View Post
Currently there're 326 Riesel and 284 Sierpinski bases proven.

PS: Countings from 2010-06-11: 324 R and 274 S.
I tried to keep them updated for a while but it was too much hassle. I'm still doing a load of Mark's new bases and will probably have another proof or 2 from those as well as a couple of proven ones from others postings. When I am done (likely in ~1 week), I'll suggest that you send me another list of them and I will update that post of proven conjectures.
gd_barnes is online now   Reply With Quote
Old 2010-06-29, 02:16   #11
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

27DD16 Posts
Default

Karsten,

I'm completely caught up on web page updates now. If you can fairly quickly post a new list of proven bases, I'll update the applicable post. There should be quite a few additions.


Gary
gd_barnes is online now   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Primes for proven bases CGKIII Conjectures 'R Us 46 2017-01-03 17:31
Proven PRPs? Random Poster FactorDB 0 2012-07-24 10:53
Poincare conjecture proven? Nebob Lounge 36 2010-03-30 13:14
Are Legendre symbols proven to be defective? jasong Math 67 2008-04-20 15:01
Has this been proven? ... 10^n + 1 monst Math 16 2007-08-06 13:14

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

Thu Sep 24 22:17:14 UTC 2020 up 14 days, 19:28, 0 users, load averages: 1.99, 1.72, 1.65

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, 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.