Author |
Message |
RogerVolunteer developer Volunteer tester
 Send message
Joined: 27 Nov 11 Posts: 1138 ID: 120786 Credit: 268,621,444 RAC: 0
                    
|
2020 is just around the corner.
2019 has been a big success capped off with the finding of an AP27.
We'd want to have at least one GPU challenge and at least one PPS flavor.
Sub T5K, new formats and new projects are all in the mix at this early stage.
Any ideas? Love to hear it.
____________
|
|
|
|
Hi Roger,
My top picks (in order, starting with what I want most) for challenges for 2020 are;
GFN-17LOW
PPS-DIV
GCW
TRP
SR5
ESP
SoB
While GFN-17LOW isn't technically GPU-exclusive, it is similar to AP27 with regards to the efficiency of CPU vs. GPU applications, so I think it counts. I'd love to see that leading edge close in on MEGA.
Also; next year is probably the last time that a PPS-DIV challenge will be possible, so we might as well :)
Regards,
Kellen |
|
|
tng Send message
Joined: 29 Aug 10 Posts: 450 ID: 66603 Credit: 40,725,308,141 RAC: 19,166,532
                                                
|
My thoughts:
Definitely a PPS-DIV challenge. Lets' push that along. Later in the year might be better, since some crunchers may drop off o\fr PPS-DIV as tasks get longer.
Assuming AP27 is to continue, an AP27 challenge.
A GFN challenge on the ones that haven't found a prime yet == currently 21-Do You Feel Lucky. I suggest making this flexible -- if we find a GFN-22 before the challenge, GFN-22 wouldn't be included in the challenge.
Also TRP, GCW, and SR5.
____________
|
|
|
darkclown Volunteer tester Send message
Joined: 3 Oct 06 Posts: 323 ID: 3605 Credit: 1,223,852,617 RAC: 685,960
                        
|
Are PRPnet projects on the table?
____________
My lucky #: 60133106^131072+1 (GFN 17-mega) |
|
|
|
SOB
GCW
PPS-Mega
CUL
TRP
PSP
GFN18
____________
|
|
|
Michael Goetz Volunteer moderator Project administrator
 Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 2,648
                              
|
Are PRPnet projects on the table?
No, this is a BOINC challenge series. We used to also run PRPNet challenges, but there are not a lot of PRPNet projects left. The rules, of course, were different.
____________
My lucky number is 75898524288+1 |
|
|
|
if we find a GFN-22 before the challenge, GFN-22 wouldn't be included in the challenge.
I do not know if I will describe that as hypothetical or extremely optimistic. We should be glad if (within a year's time) we find one more GFN-20, and feel very lucky if we find a GFN-21. /JeppeSN
|
|
|
dthonon Volunteer tester
 Send message
Joined: 6 Dec 17 Posts: 434 ID: 957147 Credit: 1,727,830,958 RAC: 11,534
                               
|
I like the idea of GFN-17LOW, to finish the sub-project, but it is probably too early for 2020. When we get closer to the end, we could imagine an open-ended challenge that stops when there are no WUs left.
For 2020, my choice would be
GFN-17LOW
PPS-DIV
TRP
SR5
321
large (>19) GFN
ESP
|
|
|
|
GFN18/19/20/21/22 (GPU)
PPS-DIV
PPS-Mega
SR5
321
TRP
ESP
GCW
SGS Twin prime search |
|
|
Michael Goetz Volunteer moderator Project administrator
 Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 2,648
                              
|
dthonon wrote: I like the idea of GFN-17LOW, to finish the sub-project, but it is probably too early for 2020. When we get closer to the end, we could imagine an open-ended challenge that stops when there are no WUs left.
Thanks for pointing out that this is too soon. This is for everyone else who has ever suggested a "Let's finish GFN-17-LOW challenge":
I love the idea of finishing things, but... algebra!
We started doing 17-low in June of 2015.
After 1 year b was at 4.3M
After 2 years b was at 8.7M
After 3 years b was at 12M
After a bit more than 4 years, today it's at 16M.
It's consistently progressing at about 4M per year.
It ends at 42,597,774.
(Literally) You do the math.
A 5 or 10 day challenge isn't going to do six and a half years' worth of work.
That being said, challenge-wise, 17-Low hasn't gotten a lot of love. It's only been in a single 3-day challenge. That was in 2017. Then again, if you look at individual GFN projects, they're spread thin because there's so many of them (and most only started in late 2015):
15: 1 challenge, 3 days (2017)
16: 1 challenge, 3 days (2017)
17-low: 1 challenge, 3 days (2017)
17-mega: 1 challenge, 3 days (2016)
18: 1 challenge, 3 days (2016)
19: 2 challenges, 6 days (2012, 2016)
20: 4 challenges, 39 days (2013, 2014, 2015, 2016)
21: 2 challenges, 18 days (2016, 2018, planned for 2019)
22: 3 challenges, 26 days (2014, 2015, 2016, planned for 2019)
DYFL: (planned for 2019)
The last challenge of 2019 will be a 10 day challenge for 21, 22, and DYFL.
There's a lot more challenges for the higher numbers. That's not because someone here likes them better. Originally our GPU software was very limited and couldn't run most of the GFN ranges, so only the large ranges were on BOINC. That changed in late 2015.
In 2012, only 19 was available.
In 2013, 2014, and 2105, only 20 and 22 were available.
Starting in 2015, everything except DYFL was available. DYFL started in 2019.
____________
My lucky number is 75898524288+1 |
|
|
Dave  Send message
Joined: 13 Feb 12 Posts: 3063 ID: 130544 Credit: 2,127,156,724 RAC: 1,484,704
                      
|
My thoughts:
* Cullen
* SR5
* SGS
* TRP later
* Woodall later
* GFN15~18 (based on Mike's post).
Not:
* SOB
* PPS sieve. |
|
|
|
Can we do "GFN 2020 olympics" ?
found one GFN15 -> bronze medal
found one GFN16 -> silver medal
found one GFN17 or higher -> gold medal |
|
|
Sysadm@Nbg Volunteer moderator Volunteer tester Project scientist
 Send message
Joined: 5 Feb 08 Posts: 1212 ID: 18646 Credit: 816,480,229 RAC: 183,333
                      
|
Are PRPnet projects on the table?
No, this is a BOINC challenge series. We used to also run PRPNet challenges, but there are not a lot of PRPNet projects left. The rules, of course, were different.
if requested we could discuss this later in the PSA subforum [here] depending on the final planning of the BOINC challenge series
____________
Sysadm@Nbg
my current lucky number: 113856050^65536 + 1
PSA-PRPNet-Stats-URL: http://u-g-f.de/PRPNet/
|
|
|
KEP Send message
Joined: 10 Aug 05 Posts: 299 ID: 110 Credit: 10,360,408 RAC: 5,020
          
|
As nice as it would be to see 1 of the conjectures reach n=50M, as mentioned earlier, it would really be much more effective to sieve ESP, PSP, SOB and TRP together for n>50M.
In order to reduce the amount of k´s remaining at the time that sieving has to start (preferably once k=3 sieving ends) it IS still MY STRONG RECOMMENDATION that as many long challenges as possible is targeting TRP.
So please run an at least 2 or 3 weeks long challenge on TRP and maybe in return cash out a TRP prime found during a challenge :)
Thank you. |
|
|
robish Volunteer moderator Volunteer tester
 Send message
Joined: 7 Jan 12 Posts: 2139 ID: 126266 Credit: 6,805,757,539 RAC: 3,138,795
                             
|
My picks
TRP
SR5
Cullen
ESP
GFN 17low
Or GFN 19
____________
My lucky numbers 10590941048576+1 and 224584605939537911+81292139*23#*n for n=0..26 |
|
|
|
Suggestion for a name: Samuel Yates's 101st birthday
Yates apparently started the list of Largest Known Primes. He is also known for work on unique primes, and 101 is one of them.
/JeppeSN |
|
|
robish Volunteer moderator Volunteer tester
 Send message
Joined: 7 Jan 12 Posts: 2139 ID: 126266 Credit: 6,805,757,539 RAC: 3,138,795
                             
|
My picks
TRP
SR5
Cullen
ESP
GFN 17low
Or GFN 19
Edit:
My picks
PPS-Div
TRP
SR5
Cullen
ESP
321
GFN 17low
Or GFN 19
____________
My lucky numbers 10590941048576+1 and 224584605939537911+81292139*23#*n for n=0..26 |
|
|
|
I'll crunch whatever is decided.
However, my strong preference is to avoid summer in Australia as the extra electricity required to run the air conditioning 24/7 is costly when all my computers and GPUs are working at max power.
____________
|
|
|
|
SR5 Primes found in 2018 & 2019 according to the Welcome to the Sierpinski / Riesel Base 5 Project thread
322498*5^2800819-1 found by Jordan Romaidis on 23 June 2019 | Official Announcement
88444*5^2799269-1 found by Scott Brown on 21 June 2019 | Official Announcement
138514*5^2771922+1 found by Ken Ito on 26 April 2019 | Official Announcement
194368*5^2638045-1 found by Honza Cholt on 15 August 2018 | Official Announcement
66916*5^2628609-1 found by Honza Cholt on 29 July 2018 | Official Announcement
81556*5^2539960+1 found by Jiří Bočan on 20 June 2018 | Official Announcement
327926*5^2542838-1 found by Seiya Tsuji on 19 June 2018 | Official Announcement
Based on this I'd suggest a Summer Solstice SR5 Challenge. |
|
|
pschoefer Volunteer developer Volunteer tester
 Send message
Joined: 20 Sep 05 Posts: 674 ID: 845 Credit: 2,567,948,731 RAC: 636,022
                           
|
There hasn't been a non-LLR CPU challenge since January 2017, so 321-Sieve should definitely be on the list for next year. Similarly, the small and medium-size GFN projects haven't seen a challenge for a while. Even if you want to run another large GFN challenge on the primeless Ns, there's still enough room for a second GFN challenge, especially if AP27 is shut down leaving PPS-Sieve as the only other GPU option.
I'd also like to see a return of the 3-day challenges. There are still several short-task projects left and a 5d+ challenge just gets boring pretty fast when even leftover machines from the last decade can still finish several tasks per day.
It might also be a good idea to leave the project open for one or two challenges in the second half of the year. That makes it easier to take unforeseen circumstances -e.g., a new project like PPS-DIV this year- into account without crowding the calendar even further or stepping on anyone's toes.
____________
|
|
|
Ken_g6 Volunteer developer
 Send message
Joined: 4 Jul 06 Posts: 929 ID: 3110 Credit: 237,014,205 RAC: 37,098
                           
|
Not:
* SOB
* PPS sieve.
I think I rather will, thank you very much.
:P |
|
|
|
If WWWW project(s) is (are) eventually brought to Boinc, I'd love to see a challenge with it.
____________
676754^262144+1 is prime |
|
|
|
GFN-21: No GFN-21 prime discovered yet
PPS-Div: Newest LLR subproject
321-Sieve: Newest sieve subproject
SoB: Conjecture
ESP: Conjecture
PSP: Conjecture
SR5: Conjecture
TRP: Conjecture
CUL: Last Cullen prime discovered in 2009 |
|
|
compositeVolunteer tester Send message
Joined: 16 Feb 10 Posts: 1022 ID: 55391 Credit: 888,864,927 RAC: 133,482
                       
|
Let's make 2020 the year of conjectures, all conjecture challenges. |
|
|
|
Let's make 2020 the year of conjectures, all conjecture challenges.
I support this.
____________
|
|
|
Gelly Volunteer tester
 Send message
Joined: 13 Nov 16 Posts: 49 ID: 468732 Credit: 2,397,277,890 RAC: 40,322
                  
|
Let's make 2020 the year of conjectures, all conjecture challenges.
I would be terribly chuffed if this came to be. Bonus points for a WWWW migration to make it a challenge. |
|
|
|
My personal picks for 2020 challenges:
1. SoB
2. PSP
3. TRP
4. ESP
5. SR5
6. PPS-Div
7. GFN-17 Low
8. GFN-21 |
|
|
|
What about a challenge that combines CPU and GPU projects, e.g. LLR + GFN?
Something like:
* MEGA Challenge -> PPS-MEGA + GFN-17-MEGA
* Top10 World Record Challenge --> SOB + GFN-21,22,DYFL
* 'Small ones' Challenge --> SGS + GFN-15
* ...
Or would the administrative effort too high?
A. |
|
|
Michael Goetz Volunteer moderator Project administrator
 Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 2,648
                              
|
What about a challenge that combines CPU and GPU projects, e.g. LLR + GFN?
Something like:
* MEGA Challenge -> PPS-MEGA + GFN-17-MEGA
* Top10 World Record Challenge --> SOB + GFN-21,22,DYFL
* 'Small ones' Challenge --> SGS + GFN-15
* ...
Or would the administrative effort too high?
A.
Administratively, we can certainly do that. The problem is the competition. GPUs are disproportionately more powerful to the point of rendering the CPU portion of such a challenge almost irrelevant.
Using your second example, SoB wouldn't get nearly the same participation that it would as if it were running by itself, whereas the GFNs would.
____________
My lucky number is 75898524288+1 |
|
|
Jay Send message
Joined: 27 Feb 10 Posts: 123 ID: 56067 Credit: 60,887,088 RAC: 16,664
                    
|
Let's make 2020 the year of conjectures, all conjecture challenges.
I'd vote for this as well. Making progress on a conjecture will still be important and valuable in 5 years. In 5 years it's likely the interest in the largest prime of x-type in 2019 will be similar to our interest in what the largest known prime of x-type was in 2014. |
|
|
dthonon Volunteer tester
 Send message
Joined: 6 Dec 17 Posts: 434 ID: 957147 Credit: 1,727,830,958 RAC: 11,534
                               
|
What about a challenge that combines CPU and GPU projects, e.g. LLR + GFN?
Something like:
* MEGA Challenge -> PPS-MEGA + GFN-17-MEGA
A.
Tour de Prime is already a sort of mixed CPU and GPU challenge, including both MEGAs. |
|
|
|
What about 20 days challenge?
____________
|
|
|
|
I like the idea of a challenge on the conjectures.
One or a few of the lower GFN challenges would be ok for the GPU challenge. It would be good for this one to occur in Autumn/Spring to avoid the hot summer in either hemisphere with the GPU's. |
|
|
|
You have my vote for an exclusive conjecture challenge year! |
|
|
|
1. SGS - a 3 day challenge ( I miss three day challenges )
2. TRP
3. SoB
4. ESP
5. PSP
After that I'm good with whatever. I do suggest fewer days total. I am feeling rather burned out right now, especially with this three day turnaround.
Cheers,
g
____________
Badge score: 5*1 + 6*1 + 7*9 + 8*3 + 10*3 + 11*1 + 12*1 + 13*1 = 164 |
|
|
RafaelVolunteer tester
 Send message
Joined: 22 Oct 14 Posts: 906 ID: 370496 Credit: 482,904,617 RAC: 359,933
                   
|
1- GFN 17-Mega, 18, 19 and 20, either all of these or just some.The last time these were ran was in 2016; 15-17Low had a showing in 2017 and 21-DYFL will have one in 2019. Quite possibly, split this into 17 + 18 and 19 + 20 for 2 challenges.
2- CUL, possibly joint with WOO. We had a separate one for each in 2018, yet we failed to give CUL it's much deserved prime, so let's try once again.
3- SGS. Short, hasn't had a challenge in 2018/19 and doesn't get as much love as it used to due to missing T5k. As to how many droplets you can get on a single day, only DO can tell...
4- ESP. I honestly feel like we need this as a challenge every single year to help catch up (or rather not increase the gap as much) with PSP's lower k count. |
|
|
|
Thanks for your feedback on my "LLR+GFN combined challenge" @Michael and @dthonon. That makes sense.
Here are some ideas for the 2020 challenge series:
* conjectures: (all 5 projects, or at least 4 of them)
* GPU projects: since AP27 has reached its goal recently (AP27 found) and PPS Sieve isn't urgent, it would nice to have two GFN challenges, a small one (e.g. GFN15..17) and a large one (e.g. GFN20+)
* Sieve projects: none of them is urgent, i.e. needs to be pushed.
* other LLR:
** CUL/WOO: we had no challenge in 2019, --> maybe a combined challenge in 2020 (as we had it in 2016)?
** PPS-DIV, just because it is new and cool :-)
Best regards,
A. |
|
|
Nita Send message
Joined: 14 Dec 18 Posts: 25 ID: 1085395 Credit: 717,776,724 RAC: 20,286
               
|
I'd like to see SGS and DYFL challenges. |
|
|
|
OK, here are some suggestions:
- DIV, Fermat Divisor Search (LLR)
- 321 (LLR)
- SoB, Seventeen or Bust (LLR)
- Cullen+Woodall combined (LLR)
- GFN-16 (Genefer, "easiest" GPU Top 5000 primes)
- GFN-20 (Genefer, let 2020 be the year of the GFN-20)
/JeppeSN |
|
|
Ravi FernandoProject administrator Volunteer tester Project scientist Send message
Joined: 21 Mar 19 Posts: 206 ID: 1108183 Credit: 12,012,164 RAC: 5,274
              
|
PPS-DIV
GFN-20+21 combined
GFN-17Low
SGS
321
SR5
TRP
And of course any new projects that may start on BOINC in the next year. |
|
|
Vato Volunteer tester
 Send message
Joined: 2 Feb 08 Posts: 821 ID: 18447 Credit: 540,976,525 RAC: 624,987
                          
|
PPS-DIV is a must imho
and i think an SGS and/or GFN15 challenge would make a change
but i'll be happy with whatever we get
____________
|
|
|
dthonon Volunteer tester
 Send message
Joined: 6 Dec 17 Posts: 434 ID: 957147 Credit: 1,727,830,958 RAC: 11,534
                               
|
Another request : please limit the number of challenge to 6 or 7 (including TdP), with a least 1 month between challenges. Too frequent challenges do not leave time for working regularly on a sub-project. |
|
|
|
Another request : please limit the number of challenge to 6 or 7 (including TdP), with a least 1 month between challenges. Too frequent challenges do not leave time for working regularly on a sub-project.
I think leaving one month in between challenges (with the exception of buffering space around TdP) is a good idea. I do think that we can have more than 6-7 challenges per year though. This last month or so has been pretty brutal with how the PPS-DIV challenge was fit into the calendar.
____________
|
|
|
compositeVolunteer tester Send message
Joined: 16 Feb 10 Posts: 1022 ID: 55391 Credit: 888,864,927 RAC: 133,482
                       
|
The pursuit of shiny new badges and more mega-primes and T5K entries are distractions from advancing mathematics, which is what proving conjectures does. I quite agree that all conjecture progress has cumulative value while the accomplishment of having a bigger prime of type X has diminishing value as time passes. Being near the head of T5K is always impressive for its time, but eventually the significance fades as it is superceded by larger primes. This is why I suggest a year of all conjecture challenges. And if we do this, consider it to be taking a break from trying to get more mega-primes than in the previous year. 100 mega-primes in a year is a milestone we can be proud of, but there's no need to continuously reproduce this feat. |
|
|
Dave  Send message
Joined: 13 Feb 12 Posts: 3063 ID: 130544 Credit: 2,127,156,724 RAC: 1,484,704
                      
|
@Composite entirely resonable argument. I'll be all-turq anyway so can do anything without messing anything up. |
|
|
RogerVolunteer developer Volunteer tester
 Send message
Joined: 27 Nov 11 Posts: 1138 ID: 120786 Credit: 268,621,444 RAC: 0
                    
|
Thanks for everyone's input.
Taking account of all the expressions of interest for 2020 Challenges so far:
Project Total Rank
TRP 18 1
SR5 16 2
ESP 14 3
SoB 11 4
GFN 20+ 10 5
PPS Div 10 5
PSP 9 7
GFN 17 Low 7 8
Cullen 7 8
SGS 7 8
321 5 11
GFN 15,16 5 11
GCW 4 13
Woodall 4 13
GFN 18 3 15
321 Sieve 3 15
PPS Mega 2 17
GFN 19 2 17
GFN 17 Mega 2 17
AP27 1 20
GFN All 1 20
Total is total number of expressions of interest for each Sub project. Multiple project suggestions were de-grouped and negative opinions were accounted with a -1. This is a numerical analysis and is only being used for information in the challenge setting process. I am looking for good ideas more than lots of votes, like some 3 day challenges.
I think it's also good to keep an open slot for possible new BOINC project that may arise; AP28, WWWW, Factorial, Primorial, 27121, handful of sieves that may get started/restarted, ???.
____________
|
|
|
compositeVolunteer tester Send message
Joined: 16 Feb 10 Posts: 1022 ID: 55391 Credit: 888,864,927 RAC: 133,482
                       
|
negative opinions were accounted with a -1
I hope you looked up the meaning of the word "chuffed". It surprised me when I did.
It's a positive opinion (slang for "being pleased") so by my count the conjectures actually took all 5 top spots.
I'm sure there's room in the calendar for other challenges besides conjectures
- unless conjecture challenges are month-long affairs of the "set it and forget it" type.
Long challenges might be good for those of us wanting more sunlight or exercise or social interaction.
This makes me wonder: is PrimeGrid a generally bad place for people suffering from OCD?
The endless array of badges and milestones, the unending quest for the next bigger prime...
and the interminable wait for a laggardly wingman. |
|
|
Dave  Send message
Joined: 13 Feb 12 Posts: 3063 ID: 130544 Credit: 2,127,156,724 RAC: 1,484,704
                      
|
Long challenges might be good for those of us wanting more sunlight or exercise or social interaction.
Ha! Case in point: this morning I'm with mum doing jobs for her & watching the rememberance...instead of gaming (thus pausing PG)!
This makes me wonder: is PrimeGrid a generally bad place for people suffering from OCD?
Absolutely ;) |
|
|
Yves GallotVolunteer developer Project scientist Send message
Joined: 19 Aug 12 Posts: 712 ID: 164101 Credit: 305,166,630 RAC: 0

|
by my count the conjectures actually took all 5 top spots.
Except AP27 (because of Green–Tao theorem) all PrimeGrid projects are conjectures.
Is there an infinite number of primes of the form 3·2n + 1 or of the form b65536 + 1?
If we believe today that it is true it's because some projects like PrimeGrid projects exist. 50 years ago, it was less clear because we couldn't "see" it.
This makes me wonder: is PrimeGrid a generally bad place for people suffering from OCD?
Les hommes sont si nécessairement fous, que ce serait être fou, par un autre tour de folie, de n'être pas fou. Blaise Pascal
(Humans are so necessarily crazy, that it would be crazy, by another trick of craziness, not to be crazy.) |
|
|
|
I agree with Yves.
The theoretical value of proving the conjecture that every odd k < 78557 has a Proth prime k*2^n + 1, so that the known Sierpiński number 78557 is necessarily the smallest one, is not that big. We would still not know if all of those k have infinitely many Proth primes, and there will still be a bunch of k above 78557 for which we cannot prove that they are not Sierpiński.
So the mathematical result that 78557 is the smallest Sierpiński number, does not give that much theoretical insight.
Finding out how many GFN-16 primes there are under a given B limit, or checking how many Fermat divisors there are in a given (k, n) rectangle, and comparing to theoretical heuristics, might be just as interesting for mathematics.
But generally, crunching primes does not prove very much, in fact.
/JeppeSN |
|
|
Gelly Volunteer tester
 Send message
Joined: 13 Nov 16 Posts: 49 ID: 468732 Credit: 2,397,277,890 RAC: 40,322
                  
|
I hope you looked up the meaning of the word "chuffed". It surprised me when I did.
My bad! I will make very clear that when I say "terribly chuffed", I mean I would be extremely pleased to see conjecture challenges be the entire challenge set of 2020. I'm a big fan of conjecture challenges.
Except AP27 (because of Green–Tao theorem) all PrimeGrid projects are conjectures.
There is already a definition in place for "conjecture project" on the site. While most projects are technically working towards some sort of conjecture, they aren't conjecture projects. To muddy the definition is a fruitless task.
I find more value in conjecture projects because they can be finished. There's something very nice about saying that PrimeGrid helped prove a conjecture and now have no need to work on that project. Is it explicitly more or less valuable? Value is in the eye of the cruncher. |
|
|
robish Volunteer moderator Volunteer tester
 Send message
Joined: 7 Jan 12 Posts: 2139 ID: 126266 Credit: 6,805,757,539 RAC: 3,138,795
                             
|
Les hommes sont si nécessairement fous, que ce serait être fou, par un autre tour de folie, de n'être pas fou. Blaise Pascal
(Humans are so necessarily crazy, that it would be crazy, by another trick of craziness, not to be crazy.)
Love it! Very true.
____________
My lucky numbers 10590941048576+1 and 224584605939537911+81292139*23#*n for n=0..26 |
|
|
Ravi FernandoProject administrator Volunteer tester Project scientist Send message
Joined: 21 Mar 19 Posts: 206 ID: 1108183 Credit: 12,012,164 RAC: 5,274
              
|
The pursuit of shiny new badges and more mega-primes and T5K entries are distractions from advancing mathematics, which is what proving conjectures does.
While I'm not opposed to conjecture projects, let me add to what Yves and JeppeSN said: I don't think that finishing one of our conjecture projects would necessarily advance mathematics any more than making progress on other subprojects. The purpose of proving a conjecture is not just to verify that it's true, but also to explain why it's true. Finding the five remaining SoB primes would do the former but not the latter.
If someone could find a conceptual proof that every fixed-k Proth sequence (or better yet, every sequence of the form k*b^n + c with k, b, and c fixed) produces infinitely many primes except when prevented by a covering set or algebraic factorizations, then that would be much more valuable to mathematics. Such a proof is not yet within reach, but it would give us a much better understanding of Sierpinski numbers than we can obtain by finding specific primes. More than likely, it would also require developing techniques that are more broadly useful in analytic number theory. |
|
|
KEP Send message
Joined: 10 Aug 05 Posts: 299 ID: 110 Credit: 10,360,408 RAC: 5,020
          
|
The purpose of proving a conjecture is not just to verify that it's true, but also to explain why it's true. Finding the five remaining SoB primes would do the former but not the latter.
There might a language barrier, but I have to disagree with you on this statement. First up, the purpose of proving a conjecture is to prove that the conjectured k is actually the smallest k for wich there is no prime for k*b^n+/-1. For SOB finding the last 5 primes we are looking for, would actually prove that k=78557 is the smallest Sierpinski k for the smallest base 2 conjecture, for wich no prime can be found.
The explanaition is actually part of the conjecture. The conjectured k, is covered by a covering set - for SOB the coverset looks like this: 3, 5, 7, 13, 19, 37, 73 - THAT IS the explanation why k=78557 is unable to ever have a prime, since these distinct 7 primes does rid ALL n for this specific k, by simply being a factor of n. So there is really nothing left to explain when the conjecture is proven, because the prove itself shows that the conjectured k is the smallest conjectured k possible and the covering set explains why that proven smallest k is actually the smallest k and never ever will yield a prime :)
Hope it made sence. |
|
|
|
What about the conjecture that every odd k below 78557 can produce at least two primes? What about the conjecture that every odd k below 78557 will produce an infinity of primes? What about the conjecture that every odd k below 78557 will produce primes whose count asymptotically behaves in the expected way?
Who says the Sierpiński problem is particularly important?
We could also do just k=3 only and check if the primes found up to some given n limit appears to behave as we expect, under some prescribed statistical confidence level. Maybe find some unexpected patterns.
Maybe study how often they divide xGF, GF or F numbers, and compare to theory; maybe find some patterns nobody has thought of.
What mathematical data is interesting, is a matter of taste.
/JeppeSN |
|
|
compositeVolunteer tester Send message
Joined: 16 Feb 10 Posts: 1022 ID: 55391 Credit: 888,864,927 RAC: 133,482
                       
|
Conjectures galore!
[OFFTOPIC RANT] Zowie! I sense an existential crisis coming on at PrimeGrid...
Like, what are we doing blowing gazillions of CPU cycles and kilowatthours on a pursuit that has practically no real value?
Like, it used to mean something when the calculations necessarily were done by hand.
Like, now it means someone has an excessively padded wallet and a lack of imagination.
Like the pointless race for bitcon, the value derives from someone's obsession.
[size=small] guilty[/size]
[/OFFTOPIC RANT] |
|
|
|
After reading through the project intros, I found that I actually like this project. I would like:
CUL and 321 challenges, cuz they seemed cool;
The "PPS flavor"(Roger) that will end the soonest;
GFN 17 Both (7 is my lucky number);
and GCW and SR5, cuz they're in different bases and seem interesting. |
|
|
Dave  Send message
Joined: 13 Feb 12 Posts: 3063 ID: 130544 Credit: 2,127,156,724 RAC: 1,484,704
                      
|
Here's a minutae that may or may not make a difference when it comes to the scheduling: can the dates in any way avoid 'update Tuesday' so that people are less likely to be affected by auto update reboots during a challenge? |
|
|
robish Volunteer moderator Volunteer tester
 Send message
Joined: 7 Jan 12 Posts: 2139 ID: 126266 Credit: 6,805,757,539 RAC: 3,138,795
                             
|
Here's a minutae that may or may not make a difference when it comes to the scheduling: can the dates in any way avoid 'update Tuesday' so that people are less likely to be affected by auto update reboots during a challenge?
+1
____________
My lucky numbers 10590941048576+1 and 224584605939537911+81292139*23#*n for n=0..26 |
|
|
Yves GallotVolunteer developer Project scientist Send message
Joined: 19 Aug 12 Posts: 712 ID: 164101 Credit: 305,166,630 RAC: 0

|
Here's a minutae that may or may not make a difference when it comes to the scheduling: can the dates in any way avoid 'update Tuesday' so that people are less likely to be affected by auto update reboots during a challenge?
You can pause the updates for up to 35 days in Windows 10 (Settings -> Update and Security -> Advanced Options -> Pause Updates). |
|
|
robish Volunteer moderator Volunteer tester
 Send message
Joined: 7 Jan 12 Posts: 2139 ID: 126266 Credit: 6,805,757,539 RAC: 3,138,795
                             
|
Here's a minutae that may or may not make a difference when it comes to the scheduling: can the dates in any way avoid 'update Tuesday' so that people are less likely to be affected by auto update reboots during a challenge?
You can pause the updates for up to 35 days in Windows 10 (Settings -> Update and Security -> Advanced Options -> Pause Updates).
Thanks Yves, I didn't know that, even though I probably should have :)
____________
My lucky numbers 10590941048576+1 and 224584605939537911+81292139*23#*n for n=0..26 |
|
|
|
Here's a minutae that may or may not make a difference when it comes to the scheduling: can the dates in any way avoid 'update Tuesday' so that people are less likely to be affected by auto update reboots during a challenge?
You can pause the updates for up to 35 days in Windows 10 (Settings -> Update and Security -> Advanced Options -> Pause Updates).
And you can pause them indefinitely by setting your network as a "Metered Connection".
Settings -> Network & Internet -> Status -> Change connection properties -> Set as metered connection (On)
By doing this you have to then manually initiate all updates, but this can be done at a convenient time when you are around :) |
|
|
Dave  Send message
Joined: 13 Feb 12 Posts: 3063 ID: 130544 Credit: 2,127,156,724 RAC: 1,484,704
                      
|
And you can pause them indefinitely by setting your network as a "Metered Connection".
Settings -> Network & Internet -> Status -> Change connection properties -> Set as metered connection (On)
Even better ;). |
|
|
|
Hello Everybody,
is the 2020 challenge series fixed by now?
Whenn will be the first challenge? |
|
|
|
Not announced yet. Based on past years, the first challenge is likely to start between the 3rd and the 7th of January and run 8-15 days. Hopefully we'll see it after the end of the current challenge.
____________
Badge score: 5*1 + 6*1 + 7*9 + 8*3 + 10*3 + 11*1 + 12*1 + 13*1 = 164 |
|
|
|
I guess the Tour de Primes is fixed to the entire UTC month of February, as usual? This time February has 29 days (a prime!) again. /JeppeSN |
|
|
Nick  Send message
Joined: 11 Jul 11 Posts: 1956 ID: 105020 Credit: 5,977,772,783 RAC: 35,478,134
                        
|
It would be really great to know what the first challenge is. I have 4 * LLR to take from ruby to turquoise and I will be choosing 1 of them after the GFN challenge - the choice being influenced by what challenges there are early next year. |
|
|
Michael Goetz Volunteer moderator Project administrator
 Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 2,648
                              
|
It would be really great to know what the first challenge is. I have 4 * LLR to take from ruby to turquoise and I will be choosing 1 of them after the GFN challenge - the choice being influenced by what challenges there are early next year.
We're still working on the details. The first challenge will probably be late in January, so you'll have ample time to prepare.
Happy Holidays!
____________
My lucky number is 75898524288+1 |
|
|