21)
Message boards :
Antarctic Crunchers message board
(Message 142363)
Posted 355 days ago by Gelly
yay we deed it

22)
Message boards :
General discussion :
Proposed new formula
(Message 141054)
Posted 402 days ago by Gelly
Just noticed this pop up on PrimePages: https://primes.utm.edu/primes/page.php?id=130986
Looks like someone is working to prove primality for these :)
Oh hey, that's mine! Ravi Fernando recommended it as a nice way to break into the top 20 with a good ECPP machine, so I went with it.
As was discussed, the best chance does really seem to be ECPP for primes of this form. I was a little excited at the prospect of how factorizeable 3^k + 1 and 3^k + 3 were, and using an (N+1)(N1) method for proving them in general, but considering you get many factors in the thousand digit range that will likely never be factorized in our lifetime, it sort of died there.
Perhaps if you were superultralucky with a k that both is very factorizeable, leads to a PRP for 3^k +2, and you got extremely lucky with the factors of 3^k+1 and 3^k+3, you could eke out one superlucky proveable prime that doesn't need a general deterministic primality proof.
It'd be radical if that'd ever happen, but for now, ECPP does a treat on anything smaller than 40k digits with the right hardware.

23)
Message boards :
Number crunching :
Suggestions for 2020 Challenges
(Message 134755)
Posted 628 days ago by Gelly
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.

24)
Message boards :
Number crunching :
Credit Milestones
(Message 134562)
Posted 633 days ago by Gelly
200M!
Saw it by coincidence. My first 100M was Oct 14th 2018 according to the forums, so I'm doing ""about"" a year per 100M. Excited to see what the future holds, then.

25)
Message boards :
Number crunching :
Highest primary find / double check ratios?
(Message 134560)
Posted 633 days ago by Gelly
I think I win with my (1/0), though I suppose I'm beaten by anyone else with n/0 ratio, where n > 1.
I suppose I don't count, though, do I? :D

26)
Message boards :
Number crunching :
Suggestions for 2020 Challenges
(Message 134270)
Posted 642 days ago by Gelly
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.

27)
Message boards :
Generalized Fermat Prime Search :
DO YOU FEEL LUCKY?
(Message 125609)
Posted 912 days ago by Gelly
Last year I got my first ever prime in TDP on a whim and I haven't achieved any other prime since, so, yeah, I'm guessing February is the best month for primes :D

28)
Message boards :
Number crunching :
Badges III
(Message 125227)
Posted 920 days ago by Gelly
The question is whether I keep going for PPS to get rid of double bronze or I try to double bronze another GPU project.

29)
Message boards :
Number crunching :
Badges III
(Message 124024)
Posted 944 days ago by Gelly
Finally netted after so long. Maybe SOB will go so fast that the next badge I get will be the first with nondouble check tasks

30)
Message boards :
General discussion :
Stupid question
(Message 122957)
Posted 975 days ago by Gelly
LucasLehmerRiesel. A combination of their work in number theory has created a test for prime numbers, as noted in this wikipedia article.
https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer%E2%80%93Riesel_test
