20220630, 17:08  #56  
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
7^{2}×73 Posts 
Quote:
To completely solve a problem, we need to 100% sure that the number is actually prime, and to be 100% sure of primality we need to follow a method that actually proves the number prime. However, currently for large numbers, only the numbers with N1 and/or N+1 can be >= 1/3 factored can be proven to be primes, by using N1 primality proving or N+1 primality proving, for other numbers, we usually use ECPP primality proving such as PRIMO, e.g. for the minimal strings for the primes > b in base b problem, the cases that b = 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 18, 20, 24 are completely solved (they have 1, 3, 5, 22, 11, 71, 75, 151, 77, 106, 650, 1284, 549, 3314, 3409 minimal strings for the primes > b, respectively, and the width of the longest minimal string for the primes > b for these bases b are 2, 3, 3, 96, 5, 17, 221, 1161, 31, 42, 19699, 157, 6271, 6271, 8134, respectively), since for these bases b, all minimal strings for the primes > b in base b are found and it is proved that there cannot be any other minimal strings for the primes > b in base b (since it is proved that all numbers > b not containing any of these strings as subsequence in base b, are composite), also all of these primes are proven primes (i.e. we are 100% sure that these numbers are actually primes), and not merely probable primes, e.g. this is the primality certificate for the largest minimal string for the primes > b for base b = 24, although for this prime neither N1 nor N+1 can be easily >= 1/3 factored, but for the cases that b = 11, 22, 30, all minimal strings for the primes > b in base b are found and it is proved that there cannot be any other minimal strings for the primes > b in base b (since it is proved that all numbers > b not containing any of these strings as subsequence in base b, are composite), but some of these primes are only probable primes (they are: 5(7^62668) in base 11, B(K^22001)5 in base 22, I(0^24608)D in base 30), thus we cannot definitely say that these three bases are solved, and we cannot definitely say base 11 has 1068 minimal strings for the primes (it is 1067 if 5(7^62668) in base 11 is in fact composite and no prime of the form 5777…777 in base 11 exists) and the width of the longest minimal string for the primes > b for base b = 11 is 62669 (it is > 62669 if 5(7^62668) in base 11 is in fact composite but a prime of the form 5777…777 in base 11 exists, and it is 1013 if 5(7^62668) in base 11 is in fact composite and no prime of the form 5777…777 in base 11 exists), although 5(7^62668) in base 11, B(K^22001)5 in base 22, I(0^24608)D in base 30, are strong PRP to all prime bases <= 61 and strong Lucas PRP with parameters (P, Q) defined by Selfridge's Method A and trial factored to 10^11 (I want to trial factor them to 10^16, but PFGW cannot handle that large trial factor limit, so how to do this?) Last fiddled with by sweety439 on 20220630 at 17:29 

20220630, 17:13  #57  
Sep 2002
Database er0rr
2^{2}·1,063 Posts 
Quote:


Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Leyland Primes (x^y+y^x primes)  Batalov  XYYXF Project  581  20220817 22:49 
On Leyland Primes  davar55  Puzzles  9  20160315 20:55 
Leyland Numbers  Numberphile  MiniGeek  Lounge  5  20141029 07:28 
Status of GIMPS proofs  BrianE  Information & Answers  7  20070802 23:15 
Collection of Proofs?  Orgasmic Troll  Math  1  20041230 15:10 