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.

[quote=The Carnivore;218138]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.[/quote]

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 [URL]http://www.mersenneforum.org/showthread.php?t=9738[/URL]. 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

Thanks for the lists, kar_bon!

[quote]If you have any questions about how to get started searching, please let us know.[/quote]
Sorry, but I won't be contributing to this project in the near future :sad: 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).

[quote=The Carnivore;218225]Sorry, but I won't be contributing to this project in the near future :sad: 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).[/quote]
In that case, what I would suggest is the [url=http://www.mersenneforum.org/showthread.php?t=11161]5th Drive[/url] 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 :smile:). 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.

[quote=kar_bon;218181]Using a small script will print this from the [URL="http://www.noprimeleftbehind.net/crus/Riesel-conjectures.htm"]Riesel-page[/URL] as proven conjectures:



and from the [URL="http://www.noprimeleftbehind.net/crus/Sierp-conjectures.htm"]Sierpinski-page[/URL] as proven:



@Gary: If you're interested, I can mail you this small script![/quote]

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.

[QUOTE=gd_barnes;218248]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.[/QUOTE]

OK.

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

PS: Mail sent.

[quote=kar_bon;218249]OK.

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

PS: Mail sent.[/quote]

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.

Ok, sent again.

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

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

[quote=kar_bon;219737]Currently there're 326 Riesel and 284 Sierpinski bases proven.

PS: Countings from 2010-06-11: 324 R and 274 S.[/quote]

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.

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