Real Riesel conjectures and proofs

Started: Mar. 24, 2024
Last update: Nov. 16, 2024

Compiled by Gary Barnes based on work completed and coordinated by Riley Fisher.

Real Riesel conjecture reservations

Abbreviations:  b = base, MOB = multiple of the base

Real Riesel conjectures are the same as the classical Riesel conjectures except that primes must be b^n > k.

For Riesel base 2 k<=762701 only, the following will apply:
1. Only k's that have a small prime where b^n <= k will have their primes shown and are tested with the Real Riesel project.
2. k's that do not have a prime where b^n <= k will not have their primes shown and are worked on by other projects.
   The k's must still be accounted for and are counted and shown separately.

Requirements and inclusions:
1. Conjectures must have a finite covering set and cannot be a MOB.
2. Primes must be b^n > k.
3. k-values that are a MOB are included in the conjectures but some may be excluded.  See exclusion 3 below.

k-values will be excluded if any of the following conditions are met:
1. All n-values are covered by one trivial factor.
2. All n-values are covered by algebraic factors or a combination of algebraic and trivial factor(s).
3. k is a MOB and k*b^(n-1)-1 is not prime and k*b^n-1 is not prime where n = int [ log(k) / log(b) ].  They will have the same prime as k / b.

Testing not done through other projects is coordinated at Mersenneforum Prime Wiki.

Base Conjectured Riesel k Covering set k's that make a full covering set with all or partial algebraic factors Trivial k's (factor) Remaining k's to find prime
(n testing limit)		 Top 15-20 k's with largest first primes: k (n) Comments / accounting of all k's
2 509203 3, 5, 7, 13, 17, 241   none 67 k's remaining at n>=1M.

See k's and test limits at Real Riesel Base 2 remain.

Breakdown:

Real Riesel:
22 k's remaining at n>=1M.

Original base 2 project
(k's will not be tested by Real Riesel):
41 k's remaining at n=16M.

Original base 2 1st/2nd conjectures even k efforts
(k's will not be tested by Real Riesel):
4 k's remaining at n>=8M.		 Real Riesel:
64016 (2093282)
17579 (1712236)
429209 (849392)
7933 (820795)
493931 (742430)
493693 (552827)
305999 (538088)
291673 (529823)
171614 (456976)
282221 (395370)
35317 (394209)
461293 (368775)
259207 (365865)
230591 (339306)
265721 (339254)
407107 (328193)
183089 (323448)
359789 (296116)
258187 (287897)
149249 (287868)		 Original project k's are worked on by PrimeGrid's Riesel Problem  project.

Original even k efforts are worked on by the Conjectures 'R Us project.

all-ks-real-riesel-base2.zip
2
2nd conjecture		 762701 3, 5, 7, 13, 17, 241   none 39 k's remaining at n>=1M.

See k's and test limits at Real Riesel 2nd Base 2 remain.

Breakdown:

Real Riesel:
17 k's remaining at n=1M.

Original base 2 project
(k's will not be tested by Real Riesel):
22 k's remaining at n=8M.

 		 Real Riesel:
565303 (841475)
711701 (760446)
756116 (706602)
573569 (650240)
758557 (647409)
742421 (572630)
595687 (468877)
540343 (208015)
531101 (182306)
585029 (179868)
567746 (129474)
677321 (128930)
639851 (125910)
667207 (118057)
606719 (113768)		 Only 509203<k<762701 are considered.

Original project k's are worked on by the Conjectures 'R Us project.

all-ks-real-riesel-base2-2nd-conj.zip
2
3rd conjecture		 777149 3, 5, 7, 13, 19, 37, 73   none 765389 (2M)
768119 (2M)
776351 (2M)		 772897 (1133789)
769717 (716129)
771253 (291187)
771269 (263112)
766777 (217965)
774223 (175407)
763469 (136424)
768307 (134333)
774419 (95988)
775933 (84843)
762847 (67925)
766753 (57227)
768821 (46038)
773707 (27293)
768553 (23151)		 Only 762701<k<777149 are considered.

all-ks-real-riesel-base2-3rd-conj.txt
2
4th conjecture		 790841 3, 5, 7, 13, 19, 37, 73   none 780427 (2M)
787663 (2M)		 785647 (441877)
783073 (402635)
780809 (296392)
783217 (185893)
784109 (99884)
781573 (54247)
785653 (45647)
784781 (39150)
779503 (21243)
782009 (20360)
784627 (18413)
778738 (16939)
783505 (15319)
786419 (15200)
777989 (12444)		 Only 777149<k<790841 are considered.

all-ks-real-riesel-base2-4th-conj.txt

Contributors:
gd_barnes
Happy5214
Hibou
ikari
Rytis