PrimeGrid
Please visit donation page to help the project cover running costs for this month

Toggle Menu

Join PrimeGrid

Returning Participants

Community

Leader Boards

Results

Other

drummers-lowrise

Advanced search

Message boards : General discussion : Generalized Fermat Progression Search

Author Message
Kellen
Send message
Joined: 10 Jan 18
Posts: 457
ID: 967938
Credit: 1,339,357,863
RAC: 13,834
Discovered 2 mega primes321 LLR Amethyst: Earned 1,000,000 credits (1,046,831)Cullen LLR Ruby: Earned 2,000,000 credits (4,120,978)ESP LLR Ruby: Earned 2,000,000 credits (3,231,650)Generalized Cullen/Woodall LLR Ruby: Earned 2,000,000 credits (3,649,553)PPS LLR Jade: Earned 10,000,000 credits (17,577,050)PSP LLR Amethyst: Earned 1,000,000 credits (1,620,415)SoB LLR Jade: Earned 10,000,000 credits (11,021,129)SR5 LLR Turquoise: Earned 5,000,000 credits (5,127,306)SGS LLR Sapphire: Earned 20,000,000 credits (20,000,002)TRP LLR Sapphire: Earned 20,000,000 credits (20,000,236)Woodall LLR Sapphire: Earned 20,000,000 credits (20,017,137)321 Sieve Sapphire: Earned 20,000,000 credits (20,000,569)Generalized Cullen/Woodall Sieve (suspended) Sapphire: Earned 20,000,000 credits (20,006,424)PPS Sieve Sapphire: Earned 20,000,000 credits (42,292,566)AP 26/27 Sapphire: Earned 20,000,000 credits (40,001,442)GFN Emerald: Earned 50,000,000 credits (95,192,575)PSA Double Amethyst: Earned 1,000,000,000 credits (1,000,000,000)
Message 142428 - Posted: 13 Aug 2020 | 13:15:34 UTC

Greetings All,

Following some discussions on the GFN1-12 Discord server about values of b for which there are likely no primes of the form b2n+1, we turned to the opposite case where a given b value may result in a long progression of prime values with increasing n.

The known minimum values for which all numbers of the form b2n+1 are prime from n=0 to n=a were as follows, with no further terms know:

a(0): b=2
a(1): b=2
a(2): b=2
a(3): b=2
a(4): b=2
a(5): b=7072833120
a(6): b=2072005925466

Our resident GFN wizard, Yves, wrote a series of programs to efficiently sieve and test b values to search for the a(7) term and we are happy to announce that the search was successful! After ~ 75 CPU-days, the following term was found, and confirmed to be the lowest b for which b2n+1 is prime for all n from 0 to 7.

a(7): b=240164550712338756

So, with that, we would love to find a solution for n=8, however we have reached a point where a small search is unlikely to find a solution for n=8, as that is a few orders of magnitude more difficult. Solutions for n=9 or n=10 are each that much more difficult again. However; these are not outside of the range of a distributed project, and the computational effort required for n=10 is comparable to that of the AP27 search, especially if a GPU implementation is created.

This is an exciting revival of an old search, and I hope that we are able to add more to the maximum progression length in the future!

Regards,
Kellen

Profile JeppeSNProject donor
Avatar
Send message
Joined: 5 Apr 14
Posts: 1378
ID: 306875
Credit: 21,623,822
RAC: 2,050
Found 1 prime in the 2020 Tour de Primes321 LLR Gold: Earned 500,000 credits (529,293)Cullen LLR Gold: Earned 500,000 credits (611,298)ESP LLR Silver: Earned 100,000 credits (139,922)Generalized Cullen/Woodall LLR Bronze: Earned 10,000 credits (35,236)PPS LLR Turquoise: Earned 5,000,000 credits (9,594,179)PSP LLR Silver: Earned 100,000 credits (212,242)SoB LLR Silver: Earned 100,000 credits (237,390)SR5 LLR Silver: Earned 100,000 credits (145,419)SGS LLR Silver: Earned 100,000 credits (105,212)TRP LLR Silver: Earned 100,000 credits (342,501)Woodall LLR Silver: Earned 100,000 credits (109,455)321 Sieve Silver: Earned 100,000 credits (175,037)PPS Sieve Bronze: Earned 10,000 credits (10,113)AP 26/27 Bronze: Earned 10,000 credits (12,129)GFN Amethyst: Earned 1,000,000 credits (1,674,106)PSA Turquoise: Earned 5,000,000 credits (7,614,290)
Message 142431 - Posted: 13 Aug 2020 | 15:12:52 UTC - in response to Message 142428.

Really nice, and I see you are adding it to https://oeis.org/A090872.

Well done by Yves!

Here are the eight primes (not that I think the readers are idiots, just to celebrate them):

240164550712338756 + 1
240164550712338756^2 + 1
240164550712338756^4 + 1
240164550712338756^8 + 1
240164550712338756^16 + 1
240164550712338756^32 + 1
240164550712338756^64 + 1
240164550712338756^128 + 1

The last two are so-called titanic primes (at least 1000 decimal digits).

Would be crazy if a longer chain of this sort could be found.

/JeppeSN

Profile dannyridel
Volunteer tester
Avatar
Send message
Joined: 3 Feb 19
Posts: 791
ID: 1097922
Credit: 3,783,734
RAC: 799
321 LLR Silver: Earned 100,000 credits (100,228)Cullen LLR Bronze: Earned 10,000 credits (36,962)ESP LLR Bronze: Earned 10,000 credits (36,309)Generalized Cullen/Woodall LLR Bronze: Earned 10,000 credits (22,645)PPS LLR Silver: Earned 100,000 credits (219,290)PSP LLR Silver: Earned 100,000 credits (100,559)SoB LLR Silver: Earned 100,000 credits (138,888)SR5 LLR Bronze: Earned 10,000 credits (64,280)SGS LLR Bronze: Earned 10,000 credits (35,164)TRP LLR Bronze: Earned 10,000 credits (67,784)Woodall LLR Bronze: Earned 10,000 credits (40,976)321 Sieve Gold: Earned 500,000 credits (506,814)Generalized Cullen/Woodall Sieve (suspended) Bronze: Earned 10,000 credits (30,033)PPS Sieve Gold: Earned 500,000 credits (825,895)AP 26/27 Silver: Earned 100,000 credits (141,505)GFN Gold: Earned 500,000 credits (859,368)PSA Silver: Earned 100,000 credits (373,034)
Message 142432 - Posted: 13 Aug 2020 | 15:28:14 UTC - in response to Message 142431.
Last modified: 13 Aug 2020 | 15:28:56 UTC

Really nice, and I see you are adding it to https://oeis.org/A090872.

Well done by Yves!

Here are the eight primes (not that I think the readers are idiots, just to celebrate them):

240164550712338756 + 1
240164550712338756^2 + 1
240164550712338756^4 + 1
240164550712338756^8 + 1
240164550712338756^16 + 1
240164550712338756^32 + 1
240164550712338756^64 + 1
240164550712338756^128 + 1

The last two are so-called titanic primes (at least 1000 decimal digits).

Would be crazy if a longer chain of this sort could be found.

/JeppeSN



"Fermat-ic" Progression of n primes :D lol


Also:
This is an exciting revival of an old search, and I hope that we are able to add more to the maximum progression length in the future!

Revival?
____________
SHSID Electronics Group
SHSIDElectronicsGroup@outlook.com

GFN-14: 50103906^16384+1
Proth "SoB": 44243*2^440969+1


Kellen
Send message
Joined: 10 Jan 18
Posts: 457
ID: 967938
Credit: 1,339,357,863
RAC: 13,834
Discovered 2 mega primes321 LLR Amethyst: Earned 1,000,000 credits (1,046,831)Cullen LLR Ruby: Earned 2,000,000 credits (4,120,978)ESP LLR Ruby: Earned 2,000,000 credits (3,231,650)Generalized Cullen/Woodall LLR Ruby: Earned 2,000,000 credits (3,649,553)PPS LLR Jade: Earned 10,000,000 credits (17,577,050)PSP LLR Amethyst: Earned 1,000,000 credits (1,620,415)SoB LLR Jade: Earned 10,000,000 credits (11,021,129)SR5 LLR Turquoise: Earned 5,000,000 credits (5,127,306)SGS LLR Sapphire: Earned 20,000,000 credits (20,000,002)TRP LLR Sapphire: Earned 20,000,000 credits (20,000,236)Woodall LLR Sapphire: Earned 20,000,000 credits (20,017,137)321 Sieve Sapphire: Earned 20,000,000 credits (20,000,569)Generalized Cullen/Woodall Sieve (suspended) Sapphire: Earned 20,000,000 credits (20,006,424)PPS Sieve Sapphire: Earned 20,000,000 credits (42,292,566)AP 26/27 Sapphire: Earned 20,000,000 credits (40,001,442)GFN Emerald: Earned 50,000,000 credits (95,192,575)PSA Double Amethyst: Earned 1,000,000,000 credits (1,000,000,000)
Message 142434 - Posted: 13 Aug 2020 | 15:37:45 UTC - in response to Message 142432.

This is an exciting revival of an old search, and I hope that we are able to add more to the maximum progression length in the future!

Revival?


Yep! https://www.primepuzzles.net/puzzles/puzz_137.htm. Most recent term added May 10, 2007 after Yves discovered the first 6 :)

Profile Michael GoetzProject donor
Volunteer moderator
Project administrator
Avatar
Send message
Joined: 21 Jan 10
Posts: 13513
ID: 53948
Credit: 236,922,854
RAC: 3,199
Found 5 primes in the 2021 Tour de PrimesFound 5 mega primes in the 2021 Tour de PrimesThe "Shut up already!" badge:  This loud mouth has mansplained on the forums over 10 thousand times!  Sheesh!!!Discovered the World's First GFN-19 prime!!!Discovered 6 mega primesFound 1 prime in the 2018 Tour de PrimesFound 1 prime in the 2019 Tour de PrimesFound 1 prime in the 2020 Tour de Primes321 LLR Ruby: Earned 2,000,000 credits (2,822,730)Cullen LLR Ruby: Earned 2,000,000 credits (3,624,591)ESP LLR Turquoise: Earned 5,000,000 credits (5,021,269)Generalized Cullen/Woodall LLR Ruby: Earned 2,000,000 credits (2,145,754)PPS LLR Jade: Earned 10,000,000 credits (16,008,485)PSP LLR Turquoise: Earned 5,000,000 credits (5,197,957)SoB LLR Sapphire: Earned 20,000,000 credits (34,291,181)SR5 LLR Jade: Earned 10,000,000 credits (10,007,110)SGS LLR Ruby: Earned 2,000,000 credits (3,252,256)TRP LLR Turquoise: Earned 5,000,000 credits (5,084,329)Woodall LLR Ruby: Earned 2,000,000 credits (2,911,985)321 Sieve Jade: Earned 10,000,000 credits (10,061,196)Cullen/Woodall Sieve (suspended) Ruby: Earned 2,000,000 credits (4,170,256)Generalized Cullen/Woodall Sieve (suspended) Turquoise: Earned 5,000,000 credits (5,059,304)PPS Sieve Sapphire: Earned 20,000,000 credits (22,885,121)Sierpinski (ESP/PSP/SoB) Sieve (suspended) Amethyst: Earned 1,000,000 credits (1,035,522)TRP Sieve (suspended) Ruby: Earned 2,000,000 credits (2,051,121)AP 26/27 Jade: Earned 10,000,000 credits (10,118,303)GFN Emerald: Earned 50,000,000 credits (76,733,355)PSA Jade: Earned 10,000,000 credits (12,445,029)
Message 142435 - Posted: 13 Aug 2020 | 16:05:10 UTC - in response to Message 142432.

dannyridel wrote:
"Fermat-ic" Progression of n primes :D lol


I was thinking they could be called "Gallot Numbers" (or "Kellen Numbers"? I don't know the history of these), but Fermatic Progression is actually kind of good.

____________
My lucky number is 75898524288+1

Kellen
Send message
Joined: 10 Jan 18
Posts: 457
ID: 967938
Credit: 1,339,357,863
RAC: 13,834
Discovered 2 mega primes321 LLR Amethyst: Earned 1,000,000 credits (1,046,831)Cullen LLR Ruby: Earned 2,000,000 credits (4,120,978)ESP LLR Ruby: Earned 2,000,000 credits (3,231,650)Generalized Cullen/Woodall LLR Ruby: Earned 2,000,000 credits (3,649,553)PPS LLR Jade: Earned 10,000,000 credits (17,577,050)PSP LLR Amethyst: Earned 1,000,000 credits (1,620,415)SoB LLR Jade: Earned 10,000,000 credits (11,021,129)SR5 LLR Turquoise: Earned 5,000,000 credits (5,127,306)SGS LLR Sapphire: Earned 20,000,000 credits (20,000,002)TRP LLR Sapphire: Earned 20,000,000 credits (20,000,236)Woodall LLR Sapphire: Earned 20,000,000 credits (20,017,137)321 Sieve Sapphire: Earned 20,000,000 credits (20,000,569)Generalized Cullen/Woodall Sieve (suspended) Sapphire: Earned 20,000,000 credits (20,006,424)PPS Sieve Sapphire: Earned 20,000,000 credits (42,292,566)AP 26/27 Sapphire: Earned 20,000,000 credits (40,001,442)GFN Emerald: Earned 50,000,000 credits (95,192,575)PSA Double Amethyst: Earned 1,000,000,000 credits (1,000,000,000)
Message 142436 - Posted: 13 Aug 2020 | 16:08:55 UTC - in response to Message 142435.

dannyridel wrote:
"Fermat-ic" Progression of n primes :D lol


I was thinking they could be called "Gallot Numbers" (or "Kellen Numbers"? I don't know the history of these), but Fermatic Progression is actually kind of good.


We have been calling them "GFP" for short, but if they were going to get a named series I vote for Gallot Numbers :)

Yves = Interested in GFP + Big Brain + All the hard work
Kellen = Interested in GFP + Lots of CPU cores ;)

Yves Gallot
Volunteer developer
Project scientist
Send message
Joined: 19 Aug 12
Posts: 644
ID: 164101
Credit: 305,010,093
RAC: 78
GFN Double Silver: Earned 200,000,000 credits (305,010,093)
Message 142438 - Posted: 13 Aug 2020 | 16:57:01 UTC - in response to Message 142436.

GFP is great, because it can be Generalized or Gallot ;-)

If we read Fermat's letter, this progression is in the same vein.
He built the sequence 21, 22, 23, ... and added one. He proved that they are composite if the exponent is not in the sequence (i.e. a power of two) and he thought that the other ones were primes because he didn't find their divisors.
Here the sequence is b1, b2, b3, ... Similarly bn + 1 is composite is n is not a power of two. We try to replace 3, 5, 17, 257 with a longer sequence of primes.

Profile robishProject donor
Volunteer moderator
Volunteer tester
Avatar
Send message
Joined: 7 Jan 12
Posts: 1774
ID: 126266
Credit: 5,066,569,935
RAC: 68,367
Discovered the World's First AP27!!!Discovered 9 mega primesDiscovered 1 AP272018 Tour de Primes largest primeFound 4 primes in the 2018 Tour de PrimesFound 1 mega prime in the 2018 Tour de PrimesFound 1 prime in the 2019 Tour de PrimesFound 1 prime in the 2020 Tour de Primes321 LLR Turquoise: Earned 5,000,000 credits (9,681,253)Cullen LLR Sapphire: Earned 20,000,000 credits (38,463,074)ESP LLR Turquoise: Earned 5,000,000 credits (6,404,450)Generalized Cullen/Woodall LLR Turquoise: Earned 5,000,000 credits (7,386,197)PPS LLR Emerald: Earned 50,000,000 credits (53,649,559)PSP LLR Turquoise: Earned 5,000,000 credits (7,863,505)SoB LLR Sapphire: Earned 20,000,000 credits (36,772,233)SR5 LLR Turquoise: Earned 5,000,000 credits (8,519,461)SGS LLR Turquoise: Earned 5,000,000 credits (5,250,624)TRP LLR Sapphire: Earned 20,000,000 credits (28,497,135)Woodall LLR Turquoise: Earned 5,000,000 credits (5,062,771)321 Sieve Turquoise: Earned 5,000,000 credits (7,141,753)Cullen/Woodall Sieve (suspended) Turquoise: Earned 5,000,000 credits (7,892,369)Generalized Cullen/Woodall Sieve (suspended) Turquoise: Earned 5,000,000 credits (5,515,338)PPS Sieve Double Gold: Earned 500,000,000 credits (841,182,485)TRP Sieve (suspended) Silver: Earned 100,000 credits (121,416)AP 26/27 Emerald: Earned 50,000,000 credits (89,993,137)GFN Double Ruby: Earned 2,000,000,000 credits (3,900,702,813)
Message 142439 - Posted: 13 Aug 2020 | 17:03:37 UTC

I agree, Gallot numbers, really interesting and incredibly cool. 😎
____________
My lucky numbers 10590941048576+1 and 224584605939537911+81292139*23#*n for n=0..26

Kellen
Send message
Joined: 10 Jan 18
Posts: 457
ID: 967938
Credit: 1,339,357,863
RAC: 13,834
Discovered 2 mega primes321 LLR Amethyst: Earned 1,000,000 credits (1,046,831)Cullen LLR Ruby: Earned 2,000,000 credits (4,120,978)ESP LLR Ruby: Earned 2,000,000 credits (3,231,650)Generalized Cullen/Woodall LLR Ruby: Earned 2,000,000 credits (3,649,553)PPS LLR Jade: Earned 10,000,000 credits (17,577,050)PSP LLR Amethyst: Earned 1,000,000 credits (1,620,415)SoB LLR Jade: Earned 10,000,000 credits (11,021,129)SR5 LLR Turquoise: Earned 5,000,000 credits (5,127,306)SGS LLR Sapphire: Earned 20,000,000 credits (20,000,002)TRP LLR Sapphire: Earned 20,000,000 credits (20,000,236)Woodall LLR Sapphire: Earned 20,000,000 credits (20,017,137)321 Sieve Sapphire: Earned 20,000,000 credits (20,000,569)Generalized Cullen/Woodall Sieve (suspended) Sapphire: Earned 20,000,000 credits (20,006,424)PPS Sieve Sapphire: Earned 20,000,000 credits (42,292,566)AP 26/27 Sapphire: Earned 20,000,000 credits (40,001,442)GFN Emerald: Earned 50,000,000 credits (95,192,575)PSA Double Amethyst: Earned 1,000,000,000 credits (1,000,000,000)
Message 142591 - Posted: 19 Aug 2020 | 0:39:08 UTC

Greetings Folks,

Lots of stuff going on with this search still, so it is probably a good time for an update.

The nomenclature has been sorted out a little more officially, as it can be a little confusing with the progressions starting from b20. We have settled into "GFP-" followed by a number indicating the length of the progression, rather than the maximum value of n in the final term of the progression.

To use the original find as an example:

24016455071233875620+1 (240164550712338756 + 1)
24016455071233875621+1 (240164550712338756^2 + 1)
24016455071233875622+1 (240164550712338756^4 + 1)
24016455071233875623+1 (240164550712338756^8 + 1)
24016455071233875624+1 (240164550712338756^16 + 1)
24016455071233875625+1 (240164550712338756^32 + 1)
24016455071233875626+1 (240164550712338756^64 + 1)
24016455071233875627+1 (240164550712338756^128 + 1)

This is a GFP-8, indicating a progression of length 8, despite the final term being b27.

With that sorted out; on to some real news.

Yves made specialized versions of his GFP programs to search for GFP of different lengths, and computed the first 1000 b values which result in a GFP-5, the first 148 b values which result in a GFP-6 and the first set of GFP-7 b values. Rob computed the remaining GFP-7 b values so that we have the first 101 known, and I finished off GFP-6 to 1000 values.

These sequences, or updates to existing sequences, have now been submitted to OEIS by JeppeSN and are in various stages of approval. They can be found at the following links:

GFP-5 (i = 0...4): https://oeis.org/A070694
GFP-6 (i = 0...5): https://oeis.org/A235390
GFP-7 (i = 0...6): https://oeis.org/A335805

The comments have not been approved yet, so they are not showing up, but the astute will notice that GFP-5 term #173 corresponds to the first GFP-6 and GFP-6 term #148 corresponds to the first GFP-7. We are working to determine the total number of GFP-7 to the first GFP-8, however the computation involved is significant and this will take some time.

The GFP-8 search also continues and should be completed to software limits (b=264) in the next few weeks. There should be ~5 more GFP-8 in this range, so there will be a new OEIS sequence shortly for those as well!

From here the search gets significantly more involved as sieve efficiency and search complexity, which have increased relatively uniformly, decouple. The search for the first GFP-9 term is a substantial undertaking (estimate of 275,000 core-days, compared to the 75 it took to find the first GFP-8).

We will see where this takes us and report back with news and progress updates when things happen :)

Regards,
Kellen

Profile robishProject donor
Volunteer moderator
Volunteer tester
Avatar
Send message
Joined: 7 Jan 12
Posts: 1774
ID: 126266
Credit: 5,066,569,935
RAC: 68,367
Discovered the World's First AP27!!!Discovered 9 mega primesDiscovered 1 AP272018 Tour de Primes largest primeFound 4 primes in the 2018 Tour de PrimesFound 1 mega prime in the 2018 Tour de PrimesFound 1 prime in the 2019 Tour de PrimesFound 1 prime in the 2020 Tour de Primes321 LLR Turquoise: Earned 5,000,000 credits (9,681,253)Cullen LLR Sapphire: Earned 20,000,000 credits (38,463,074)ESP LLR Turquoise: Earned 5,000,000 credits (6,404,450)Generalized Cullen/Woodall LLR Turquoise: Earned 5,000,000 credits (7,386,197)PPS LLR Emerald: Earned 50,000,000 credits (53,649,559)PSP LLR Turquoise: Earned 5,000,000 credits (7,863,505)SoB LLR Sapphire: Earned 20,000,000 credits (36,772,233)SR5 LLR Turquoise: Earned 5,000,000 credits (8,519,461)SGS LLR Turquoise: Earned 5,000,000 credits (5,250,624)TRP LLR Sapphire: Earned 20,000,000 credits (28,497,135)Woodall LLR Turquoise: Earned 5,000,000 credits (5,062,771)321 Sieve Turquoise: Earned 5,000,000 credits (7,141,753)Cullen/Woodall Sieve (suspended) Turquoise: Earned 5,000,000 credits (7,892,369)Generalized Cullen/Woodall Sieve (suspended) Turquoise: Earned 5,000,000 credits (5,515,338)PPS Sieve Double Gold: Earned 500,000,000 credits (841,182,485)TRP Sieve (suspended) Silver: Earned 100,000 credits (121,416)AP 26/27 Emerald: Earned 50,000,000 credits (89,993,137)GFN Double Ruby: Earned 2,000,000,000 credits (3,900,702,813)
Message 142766 - Posted: 29 Aug 2020 | 0:16:29 UTC
Last modified: 29 Aug 2020 | 0:17:23 UTC

For those who are interested, the search continues :)

Progress so far .....

GFP-8 progressions:
1
240164550712338756
3686834112771042790
6470860179642426900
7529068955648085700
10300630358100537120
16776829808789151280
17622040391833711780
19344979062504927000

More coming soon ;)

GFP-9 May require assistance however, on a Boinc level. :)
____________
My lucky numbers 10590941048576+1 and 224584605939537911+81292139*23#*n for n=0..26

Post to thread

Message boards : General discussion : Generalized Fermat Progression Search

[Return to PrimeGrid main page]
DNS Powered by DNSEXIT.COM
Copyright © 2005 - 2021 Rytis Slatkevičius (contact) and PrimeGrid community. Server load 0.00, 0.00, 0.00
Generated 28 Sep 2021 | 2:23:12 UTC