20100611, 06:55  #1 
Jun 2010
251_{10} Posts 
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. 
20100611, 07:58  #2  
May 2007
Kansas; USA
10100001110100_{2} Posts 
Quote:
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 subforums 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 20100611 at 07:59 

20100611, 18:15  #3  
Jun 2010
251_{10} Posts 
Thanks for the lists, kar_bon!
Quote:
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). 

20100611, 18:26  #4  
A Sunny Moo
Aug 2007
USA (GMT5)
3·2,083 Posts 
Quote:


20100611, 19:44  #5  
May 2007
Kansas; USA
2^{2}×3×863 Posts 
Quote:
BTW, the powersof2 bases need to be added to these lists. Base 8 is proven on both sides. 

20100611, 19:47  #6  
Mar 2006
Germany
2×3×13×37 Posts 
Quote:
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 20100611 at 19:58 

20100612, 10:02  #7  
May 2007
Kansas; USA
2^{2}·3·863 Posts 
Quote:
I went ahead and added the powerof2 bases and another one that I just proved to the earlier bases proven lists. 

20100612, 10:44  #8 
Mar 2006
Germany
2·3·13·37 Posts 
Ok, sent again.

20100624, 09:49  #9 
Mar 2006
Germany
2×3×13×37 Posts 
Currently there're 326 Riesel and 284 Sierpinski bases proven.
PS: Countings from 20100611: 324 R and 274 S. Last fiddled with by kar_bon on 20100624 at 09:53 
20100625, 08:59  #10 
May 2007
Kansas; USA
24164_{8} Posts 
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.

20100629, 02:16  #11 
May 2007
Kansas; USA
2^{2}·3·863 Posts 
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 
Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Primes for proven bases  CGKIII  Conjectures 'R Us  46  20170103 17:31 
Proven PRPs?  Random Poster  FactorDB  0  20120724 10:53 
Poincare conjecture proven?  Nebob  Lounge  36  20100330 13:14 
Are Legendre symbols proven to be defective?  jasong  Math  67  20080420 15:01 
Has this been proven? ... 10^n + 1  monst  Math  16  20070806 13:14 